]> matita.cs.unibo.it Git - helm.git/log
helm.git
22 years agoAdded build dep on libgdome2-dev
Stefano Zacchiroli [Fri, 15 Mar 2002 12:25:08 +0000 (12:25 +0000)]
Added build dep on libgdome2-dev

22 years agoDebian changes for version 0.3.0 of lablgtkmathview.
Stefano Zacchiroli [Wed, 13 Mar 2002 23:20:21 +0000 (23:20 +0000)]
Debian changes for version 0.3.0 of lablgtkmathview.
Major changes:
- split shared library package
- debian native package, diff.gz is no longer needed

22 years agoThe contract was the proposal!!!
Claudio Sacerdoti Coen [Wed, 13 Mar 2002 18:43:35 +0000 (18:43 +0000)]
The contract was the proposal!!!

22 years agoData refined.
Claudio Sacerdoti Coen [Wed, 13 Mar 2002 10:24:18 +0000 (10:24 +0000)]
Data refined.

22 years agoInitial version.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 18:03:32 +0000 (18:03 +0000)]
Initial version.

22 years ago* Linking was still static for native compilation.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 17:41:44 +0000 (17:41 +0000)]
* Linking was still static for native compilation.
* Automatic compilation of the test in native mode can no more be performed
  because the dynamic library is always searched in the position where
  it will be installed ;-(

22 years agoData refined.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 15:45:15 +0000 (15:45 +0000)]
Data refined.

22 years agoMore data.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 11:46:45 +0000 (11:46 +0000)]
More data.

22 years agoNew data.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 10:35:03 +0000 (10:35 +0000)]
New data.

22 years agoNew Data (operative commencement date).
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 10:28:39 +0000 (10:28 +0000)]
New Data (operative commencement date).

22 years agoNew data.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 10:18:55 +0000 (10:18 +0000)]
New data.

22 years agoGoguadze added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 18:02:34 +0000 (18:02 +0000)]
Goguadze added.

22 years agoNew sources by Paul Libbrecht. From these sources it is possible to
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 16:05:17 +0000 (16:05 +0000)]
New sources by Paul Libbrecht. From these sources it is possible to
produce both a nice PDF file and the PS document.

22 years agoLink to Paul's new MOWGLI page added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 15:51:47 +0000 (15:51 +0000)]
Link to Paul's new MOWGLI page added.

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 15:51:08 +0000 (15:51 +0000)]
Modified Files:
1) dfki.xml: added member

22 years agoNot well-formed XML.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 15:44:36 +0000 (15:44 +0000)]
Not well-formed XML.

22 years agoPaul Libbrecht added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 15:36:15 +0000 (15:36 +0000)]
Paul Libbrecht added.

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 14:39:53 +0000 (14:39 +0000)]
Modified Files:
1) html/Makefile html/proposal/.cvsignore xml/home.xml
   xml/menu.xml xml/project.xml xml/proposal/EC-contribution.xml
   xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-components.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-planning.xml
   xml/proposal/project-summary.xml xsl/project.xsl: now the proposal index is
   in project.xml that is linked in the Project Menu
Removed Files:
1) xml/proposal/proposal-index.xml: now is in project.xml

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 13:21:25 +0000 (13:21 +0000)]
Modified Files:
1) xml/sites/aei.xml xml/sites/dfki.xml xml/sites/nijmegen.xml
   xml/sites/trusted-logic.xml xsl/site.xsl: added site members info

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 12:01:51 +0000 (12:01 +0000)]
Modified Files:
1) xml/home.xml xml/proposal/EC-contribution.xml
   xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-components.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-planning.xml
   xml/proposal/project-summary.xml xml/sites/dfki.xml: bugs fixed

22 years agoNew data.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:27:38 +0000 (11:27 +0000)]
New data.

22 years agoMarkus Moschner (DFKI) added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:27:03 +0000 (11:27 +0000)]
Markus Moschner (DFKI) added.

22 years agoMarkus Moschner (DFKI) added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:21:53 +0000 (11:21 +0000)]
Markus Moschner (DFKI) added.

22 years agoA much better PDF file contributed by Paul Libbrecht.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:00:47 +0000 (11:00 +0000)]
A much better PDF file contributed by Paul Libbrecht.

22 years agoLink to ActiveMath added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:00:16 +0000 (11:00 +0000)]
Link to ActiveMath added.

22 years agoModified Files:
Irene Schena [Fri, 8 Mar 2002 16:40:51 +0000 (16:40 +0000)]
Modified Files:
1) sites/dfki.xml sites/nijmegen.xml: errors fixed

22 years agoModified Files:
Irene Schena [Fri, 8 Mar 2002 16:15:40 +0000 (16:15 +0000)]
Modified Files:
1) asperti.xml guidi.xml padovani.xml sacerdoti.xml schena.xml: info updated

22 years agoloadDocumentFrom* and saveDocument interface changed
Claudio Sacerdoti Coen [Fri, 8 Mar 2002 12:19:13 +0000 (12:19 +0000)]
loadDocumentFrom* and saveDocument interface changed

22 years agoModified Files:
Irene Schena [Fri, 8 Mar 2002 12:03:40 +0000 (12:03 +0000)]
Modified Files:
1) pert_new.png: added resolution

22 years ago-rpath used to record the path to use to search for dynamic libraries
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 18:14:53 +0000 (18:14 +0000)]
-rpath used to record the path to use to search for dynamic libraries
which are not in LD_LIBRARY_PATH. (In our case, all the dynamic libraries
of the bindings this one depends on.)

22 years agoThe .so file was not moved into the temporary installation directory.
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 17:20:23 +0000 (17:20 +0000)]
The .so file was not moved into the temporary installation directory.

22 years agoAdded Files:
Irene Schena [Wed, 6 Mar 2002 16:59:06 +0000 (16:59 +0000)]
Added Files:
1) NextArrow.gif PreviousArrow.gif: arrows for next and prev pages

22 years agoModified Files:
Irene Schena [Wed, 6 Mar 2002 16:57:11 +0000 (16:57 +0000)]
Modified Files:
1) html/Makefile html/proposal/.cvsignore
   xml/proposal/EC-contribution.xml xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-summary.xml
   xml/proposal/proposal-index.xml: added links to pages and new pages
Added Files:
1) images/gantt_new.png images/pert_new.png
   xml/proposal/project-components.xml
   xml/proposal/project-planning.xml: added two pages with images to the
   mowgli proposal

22 years agoDynamic loading of C code enabled.
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 15:35:45 +0000 (15:35 +0000)]
Dynamic loading of C code enabled.

22 years agoModified Files:
Irene Schena [Wed, 6 Mar 2002 14:40:16 +0000 (14:40 +0000)]
Modified Files:
1) html/.cvsignore html/Makefile xml/home.xml xml/menu.xml: new menu item for
   mowgli proposal
2) xml/news.xml: error fixed
Added Files:
1) html/proposal/.cvsignore
2) xml/proposal/EC-contribution.xml
   xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-summary.xml   : files moved in the new dir proposal/
3) xml/proposal/proposal-index.xml: index of mowgli proposal
Removed Files:
1) xml/EC-contribution.xml xml/contribution.xml
   xml/econ-scient-tech-prospects.xml xml/innovation.xml
   xml/project-management.xml xml/project-objectives.xml
   xml/project-summary.xml

22 years agoModified Files:
Irene Schena [Wed, 6 Mar 2002 11:27:12 +0000 (11:27 +0000)]
Modified Files:
1) link.xsl mmlctop.xsl-0.14 mmlextension.xsl mmlnotation.xsl: removed redundant namespace prefix m: of the MML xref attribute

22 years ago* New data
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 10:12:22 +0000 (10:12 +0000)]
* New data
* <date>s of the news are now numerical

22 years agoAgenda detailed.
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 10:11:51 +0000 (10:11 +0000)]
Agenda detailed.

22 years agoDate mistake.
Claudio Sacerdoti Coen [Tue, 5 Mar 2002 10:52:58 +0000 (10:52 +0000)]
Date mistake.

22 years agoForgotten links; better link names.
Claudio Sacerdoti Coen [Tue, 5 Mar 2002 10:10:20 +0000 (10:10 +0000)]
Forgotten links; better link names.

22 years agoNew data (Calculemus)
Claudio Sacerdoti Coen [Tue, 5 Mar 2002 10:09:20 +0000 (10:09 +0000)]
New data (Calculemus)

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 16:05:57 +0000 (16:05 +0000)]
Modified Files:
1) home/html/.cvsignore home/html/Makefile: added chapter 8 of mowgli proposal
Added Files:
1) home/xml/econ-scient-tech-prospects.xml: chapter 8 of mowgli proposal

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 15:39:55 +0000 (15:39 +0000)]
Modified Files:
1) home/html/.cvsignore home/html/Makefile home/xml/home.xml: added chapters 6 e 7
   mowgli proposal
Added Files:
1) home/xml/EC-contribution.xml: chapters 6 e 7 mowgli proposal

22 years agoAdded Files:
Irene Schena [Mon, 4 Mar 2002 14:50:02 +0000 (14:50 +0000)]
Added Files:
1) innovation.xml: chapter 5 mowgli proposal

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 14:48:43 +0000 (14:48 +0000)]
Modified Files:
1) home/html/.cvsignore home/html/Makefile home/xml/home.xml: added chapter 5
   mowgli proposal
2) home/html/publications/others/.cvsignore home/xml/publications/index.xml
   home/xml/publications/others/publication.dtdi: added biblio references
Added Files:
1) home/images/logo.png home/xml/publications/others/cc.xml
   home/xml/publications/others/cup_hp91.xml
   home/xml/publications/others/cup_hp93.xml
   home/xml/publications/others/w3c_bl98.xml: image and biblio references

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 11:25:21 +0000 (11:25 +0000)]
Modified Files:
1) home/html/.cvsignore

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 11:23:19 +0000 (11:23 +0000)]
Modified Files:
1) home/html/Makefile home/xml/home.xml: added chapter 4 mowgli proposal
2) home/xml/project-objectives.xml: error fixed
Added Files:
1) home/images/arch.png: new image
2) home/xml/contribution.xml: chapter 4 mowgli proposal
Removed Files:
1) home/images/arch.gif: old image

22 years agoName still mispelled ;-|
Claudio Sacerdoti Coen [Fri, 1 Mar 2002 14:26:19 +0000 (14:26 +0000)]
Name still mispelled ;-|

22 years agoModified Files:
Irene Schena [Fri, 1 Mar 2002 12:49:54 +0000 (12:49 +0000)]
Modified Files:
1) home/xml/people/index.xml home/xsl/people-list.xsl: added order to sites
   (chapter 3 of mowgli proposal)

22 years agoName mispelled.
Claudio Sacerdoti Coen [Fri, 1 Mar 2002 12:41:35 +0000 (12:41 +0000)]
Name mispelled.

22 years agolablgnome.cm[x]a added to the META file.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 14:10:46 +0000 (14:10 +0000)]
lablgnome.cm[x]a added to the META file.

22 years ago* Preliminary porting to ocaml-3.04 and to gdome completed.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 13:55:10 +0000 (13:55 +0000)]
* Preliminary porting to ocaml-3.04 and to gdome completed.

22 years agoMispelled name.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 10:06:57 +0000 (10:06 +0000)]
Mispelled name.

22 years agoMore conferences.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 18:15:18 +0000 (18:15 +0000)]
More conferences.

22 years ago* A new news
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:36:26 +0000 (16:36 +0000)]
* A new news
* links now allowed inside news

22 years agoWarning definitely removed.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:35:53 +0000 (16:35 +0000)]
Warning definitely removed.

22 years agoFinal commit for frames/no-frames versions.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:04:04 +0000 (16:04 +0000)]
Final commit for frames/no-frames versions.

1) You can now compile (and install!) the two versions together
   typing make FRAMES=x" twice.
2) The default index.html is a patched copy of html_yes_frames/index.html
   when FRAMES=yes and is not there when FRAMES=no. [I don't know what
   to put there in this case! ;-(]

The only variable that must be set in the Makefile is the destination
directory.

Question: what should we do now? Keep only one of the two versions?
Keep both of them and add a first page in which the user can choose
the version he prefers? Put a link from one version to the other
and keep one as the default?

22 years agotemplates/menu.html moved to xml/menu.xml
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 15:25:09 +0000 (15:25 +0000)]
templates/menu.html moved to xml/menu.xml
(it is processed when no frames are used)

22 years ago* non-html stuff that was installed in html/members/contract is now
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 13:51:04 +0000 (13:51 +0000)]
* non-html stuff that was installed in html/members/contract is now
  installed in misc/contract.
* the html dir can now be changed as wished. This allows to have
  both the "with frames" and the "without frames" versions on-line at
  the same time.
* xhtml-content.html can now produce both the version with and without
  frames

22 years ago* The footer of home.xml is now generated from xhtml-content.xsl
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:30:34 +0000 (10:30 +0000)]
* The footer of home.xml is now generated from xhtml-content.xsl
* We are almost ready for the no-frame version.

22 years agoThe footer is now generated by xhtml-content.xsl
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:29:13 +0000 (10:29 +0000)]
The footer is now generated by xhtml-content.xsl

22 years agoAvoided some bugs of libxslt.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:28:15 +0000 (10:28 +0000)]
Avoided some bugs of libxslt.

22 years agoSome code factorization: towards a frame-free site.
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 16:36:08 +0000 (16:36 +0000)]
Some code factorization: towards a frame-free site.

22 years agoIt was not XHTML valid.
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 15:59:53 +0000 (15:59 +0000)]
It was not XHTML valid.

22 years agoGreat changes in all the stylesheets. Every page is now generated in two
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 15:47:02 +0000 (15:47 +0000)]
Great changes in all the stylesheets. Every page is now generated in two
phases:

1) A stylesheet from XML to XHTML that generates the page.
   This stylesheet no more bothers with the layout of the page w.r.t. the
   rest of the site (i.e. it doesn't add the link to CSS; it doesn't call
   the head and foot templates)
2) A common stylesheet from XHTML to HTML that just adds the header, footer
   and CSS link to the page.

The idea is that in this way it is easier to change the overall layout of
the site (e.g. removing frames). Moreover, less code is required.

Problem: xsltproc is too intelligent (= rather stupid), so that it
recognises XHTML pages and fails in applying the stylesheet. So, in the
Makefile, care (= sed) must be taken to remove the DOCTYPE definitions
from XHTML files.

22 years ago* <I> ==> <em> everywhere
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 14:31:17 +0000 (14:31 +0000)]
* <I> ==> <em> everywhere
* xml/Makefile added: typing make checks the validity of every .xml file in
  the xml directory
* every XML file now has a DTD. The files that are pure XHTML documents
  use the on-line XHTML 1.0 Transitional DTD.
* A new DTD mowgli-xhtml1-transitional.dtd added. It is an extension of
  the XHTML1 Transitional DTD to allow markup in the MOWGLI namespace.

22 years agoSome clean-up (unuseful sed removed from Makefile).
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 10:42:44 +0000 (10:42 +0000)]
Some clean-up (unuseful sed removed from Makefile).

22 years agoMore cleanup: the home page is now generated by means of XSLT only.
Claudio Sacerdoti Coen [Sun, 24 Feb 2002 14:36:50 +0000 (14:36 +0000)]
More cleanup: the home page is now generated by means of XSLT only.
(i.e. no more cat ... >> $@)

22 years ago* Rendering of publications improved.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 18:23:32 +0000 (18:23 +0000)]
* Rendering of publications improved.
* Small typos fixed.
* Some clean-up.

22 years agoWarning changed.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 17:16:28 +0000 (17:16 +0000)]
Warning changed.

22 years agoNews updated.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 17:11:23 +0000 (17:11 +0000)]
News updated.

22 years ago* Notion of future and past events/deadlines introduced.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 16:59:20 +0000 (16:59 +0000)]
* Notion of future and past events/deadlines introduced.
* Approaching deadlines added to the front page. Should we keep them?
* The stylesheet mess done by Luca has been fixed (i.e. removed) ;-)

22 years agoA big commit:
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 16:09:17 +0000 (16:09 +0000)]
A big commit:

1) A serious bug in deadline orderings has been fixed.
2) Events have been splitted (again) into MOWGLI Events and Other Events.
   Both of them have a menu entry.
3) The kick-off MOWGLI Event has been added.

22 years ago* "Older news" link added to the first page.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 14:16:20 +0000 (14:16 +0000)]
* "Older news" link added to the first page.
* Some more news and events.

22 years ago* Fax added.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 12:49:23 +0000 (12:49 +0000)]
* Fax added.
* Data for Theresa Velden updated.

22 years agoe-mail address fixed
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 12:33:37 +0000 (12:33 +0000)]
e-mail address fixed

22 years agoMissing informations filled in.
Claudio Sacerdoti Coen [Thu, 21 Feb 2002 18:37:34 +0000 (18:37 +0000)]
Missing informations filled in.

22 years agoContract added to members area.
Claudio Sacerdoti Coen [Thu, 21 Feb 2002 17:40:16 +0000 (17:40 +0000)]
Contract added to members area.

22 years agoM.L. on-line archives are on-line!
Claudio Sacerdoti Coen [Wed, 20 Feb 2002 17:04:53 +0000 (17:04 +0000)]
M.L. on-line archives are on-line!

22 years agoWarning moved to a better position to re-balance the page.
Claudio Sacerdoti Coen [Wed, 20 Feb 2002 16:10:10 +0000 (16:10 +0000)]
Warning moved to a better position to re-balance the page.

22 years agored warning
Luca Padovani [Wed, 20 Feb 2002 15:54:01 +0000 (15:54 +0000)]
red warning

22 years agoThe list of persons in the "By Site" ordering is now also
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 18:01:27 +0000 (18:01 +0000)]
The list of persons in the "By Site" ordering is now also
ordered by member status inside the site. Probably, some
more informations will be added soon (e.g. "site leader",
or "work-package leader" etc.)

22 years agoThe list of persons in alphabetical order is now in the form Surname, Name.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 17:43:06 +0000 (17:43 +0000)]
The list of persons in alphabetical order is now in the form Surname, Name.
The list ordered by site now also uses qualifications. But the output is
still not satisying to me because alphabetical order + qualifications is
quite bad. I will commit manually generated XML index files with a meaningful
order (from boss to slaves ;-)

22 years agoAdded File arch.gif, generated from .fig by Irene.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 17:37:03 +0000 (17:37 +0000)]
Added File arch.gif, generated from .fig by Irene.
The margins are not very tight: it will probably need to be redone.

22 years agoProject Objectives added.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 17:26:50 +0000 (17:26 +0000)]
Project Objectives added.

22 years ago- removed date from menu (useful?)
Luca Padovani [Tue, 19 Feb 2002 17:22:29 +0000 (17:22 +0000)]
- removed date from menu (useful?)
- added date on front page
- added warning for site under construction
- fixed deadline for extreme conference

22 years agomoved some xml files into xml root directory
Luca Padovani [Tue, 19 Feb 2002 16:52:12 +0000 (16:52 +0000)]
moved some xml files into xml root directory
fixed omdoc link from menu

22 years ago- renamed some files
Luca Padovani [Tue, 19 Feb 2002 16:43:01 +0000 (16:43 +0000)]
- renamed some files
- added links to the home page
- changed news on front page

22 years agoBroken links fixed somehow.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 15:53:11 +0000 (15:53 +0000)]
Broken links fixed somehow.
No more useful files (i.e. Nothing-yet files) removed.

22 years agochanged format of content file, now xhtml
Luca Padovani [Tue, 19 Feb 2002 00:49:02 +0000 (00:49 +0000)]
changed format of content file, now xhtml

22 years agook, here is the last one
Luca Padovani [Tue, 19 Feb 2002 00:24:52 +0000 (00:24 +0000)]
ok, here is the last one

22 years agoas usual forgot some files (mailing list, members' index)
Luca Padovani [Tue, 19 Feb 2002 00:24:25 +0000 (00:24 +0000)]
as usual forgot some files (mailing list, members' index)

22 years ago- added publication index
Luca Padovani [Tue, 19 Feb 2002 00:22:26 +0000 (00:22 +0000)]
- added publication index
- added software index
- added member area

22 years agoNothing yet pages added to fix broken links.
Claudio Sacerdoti Coen [Mon, 18 Feb 2002 19:00:23 +0000 (19:00 +0000)]
Nothing yet pages added to fix broken links.

22 years agoMembers area implemented.
Claudio Sacerdoti Coen [Mon, 18 Feb 2002 18:06:46 +0000 (18:06 +0000)]
Members area implemented.

22 years agohome.html.mid still around in the dependencies: removed
Luca Padovani [Mon, 18 Feb 2002 14:43:09 +0000 (14:43 +0000)]
home.html.mid still around in the dependencies: removed

22 years agoadded some stylesheets for list of people and sorting
Luca Padovani [Sat, 16 Feb 2002 02:24:54 +0000 (02:24 +0000)]
added some stylesheets for list of people and sorting

22 years ago- list of people
Luca Padovani [Sat, 16 Feb 2002 02:23:33 +0000 (02:23 +0000)]
- list of people
- fixes here and there

22 years agoEnglish errors fixed.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:57:17 +0000 (14:57 +0000)]
English errors fixed.

22 years agoEnglish error fixed.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:55:48 +0000 (14:55 +0000)]
English error fixed.