]>
matita.cs.unibo.it Git - helm.git/log 
Claudio Sacerdoti Coen  [Fri, 22 Mar 2002 13:26:09 +0000  (13:26 +0000)] 
New MOWGLI member.
Claudio Sacerdoti Coen  [Fri, 22 Mar 2002 13:25:58 +0000  (13:25 +0000)] 
New data.
Claudio Sacerdoti Coen  [Fri, 22 Mar 2002 13:25:19 +0000  (13:25 +0000)] 
Layout improved.
Luca Padovani  [Thu, 21 Mar 2002 20:44:20 +0000  (20:44 +0000)] 
frames/no frame switch changed
Claudio Sacerdoti Coen  [Thu, 21 Mar 2002 18:45:49 +0000  (18:45 +0000)] 
Links between the versions with and without frames.
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 17:39:33 +0000  (17:39 +0000)] 
New data.
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 15:11:43 +0000  (15:11 +0000)] 
mowgli-adm mailing list created
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 15:00:03 +0000  (15:00 +0000)] 
New MOWGLI member.
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 14:59:39 +0000  (14:59 +0000)] 
* New data
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 14:22:56 +0000  (14:22 +0000)] 
New data.
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 12:45:55 +0000  (12:45 +0000)] 
MOWGLI roles considered in people position
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 12:18:06 +0000  (12:18 +0000)] 
* New MOWGLI members
Claudio Sacerdoti Coen  [Wed, 20 Mar 2002 10:18:47 +0000  (10:18 +0000)] 
New data.
Claudio Sacerdoti Coen  [Tue, 19 Mar 2002 18:53:31 +0000  (18:53 +0000)] 
New: Minutes of the kick-off
Claudio Sacerdoti Coen  [Tue, 19 Mar 2002 17:53:54 +0000  (17:53 +0000)] 
People in the "by site" list are now sorted alphabetically.
Claudio Sacerdoti Coen  [Tue, 19 Mar 2002 17:35:23 +0000  (17:35 +0000)] 
* Some documents were not valid
Claudio Sacerdoti Coen  [Mon, 18 Mar 2002 18:49:28 +0000  (18:49 +0000)] 
* Work Package Leaders added (and rendered)
Stefano Zacchiroli  [Fri, 15 Mar 2002 12:25:08 +0000  (12:25 +0000)] 
Added build dep on libgdome2-dev
Stefano Zacchiroli  [Wed, 13 Mar 2002 23:20:21 +0000  (23:20 +0000)] 
Debian changes for version 0.3.0 of lablgtkmathview.
Claudio Sacerdoti Coen  [Wed, 13 Mar 2002 18:43:35 +0000  (18:43 +0000)] 
The contract was the proposal!!!
Claudio Sacerdoti Coen  [Wed, 13 Mar 2002 10:24:18 +0000  (10:24 +0000)] 
Data refined.
Claudio Sacerdoti Coen  [Tue, 12 Mar 2002 18:03:32 +0000  (18:03 +0000)] 
Initial version.
Claudio Sacerdoti Coen  [Tue, 12 Mar 2002 17:41:44 +0000  (17:41 +0000)] 
* Linking was still static for native compilation.
Claudio Sacerdoti Coen  [Tue, 12 Mar 2002 15:45:15 +0000  (15:45 +0000)] 
Data refined.
Claudio Sacerdoti Coen  [Tue, 12 Mar 2002 11:46:45 +0000  (11:46 +0000)] 
More data.
Claudio Sacerdoti Coen  [Tue, 12 Mar 2002 10:35:03 +0000  (10:35 +0000)] 
New data.
Claudio Sacerdoti Coen  [Tue, 12 Mar 2002 10:28:39 +0000  (10:28 +0000)] 
New Data (operative commencement date).
Claudio Sacerdoti Coen  [Tue, 12 Mar 2002 10:18:55 +0000  (10:18 +0000)] 
New data.
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 18:02:34 +0000  (18:02 +0000)] 
Goguadze added.
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
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 15:51:47 +0000  (15:51 +0000)] 
Link to Paul's new MOWGLI page added.
Irene Schena  [Mon, 11 Mar 2002 15:51:08 +0000  (15:51 +0000)] 
Modified Files:
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 15:44:36 +0000  (15:44 +0000)] 
Not well-formed XML.
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 15:36:15 +0000  (15:36 +0000)] 
Paul Libbrecht added.
Irene Schena  [Mon, 11 Mar 2002 14:39:53 +0000  (14:39 +0000)] 
Modified Files:
Irene Schena  [Mon, 11 Mar 2002 13:21:25 +0000  (13:21 +0000)] 
Modified Files:
Irene Schena  [Mon, 11 Mar 2002 12:01:51 +0000  (12:01 +0000)] 
Modified Files:
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 11:27:38 +0000  (11:27 +0000)] 
New data.
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 11:27:03 +0000  (11:27 +0000)] 
Markus Moschner (DFKI) added.
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 11:21:53 +0000  (11:21 +0000)] 
Markus Moschner (DFKI) added.
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 11:00:47 +0000  (11:00 +0000)] 
A much better PDF file contributed by Paul Libbrecht.
Claudio Sacerdoti Coen  [Mon, 11 Mar 2002 11:00:16 +0000  (11:00 +0000)] 
Link to ActiveMath added.
Irene Schena  [Fri, 8 Mar 2002 16:40:51 +0000  (16:40 +0000)] 
Modified Files:
Irene Schena  [Fri, 8 Mar 2002 16:15:40 +0000  (16:15 +0000)] 
Modified Files:
Claudio Sacerdoti Coen  [Fri, 8 Mar 2002 12:19:13 +0000  (12:19 +0000)] 
loadDocumentFrom* and saveDocument interface changed
Irene Schena  [Fri, 8 Mar 2002 12:03:40 +0000  (12:03 +0000)] 
Modified Files:
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
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.
Irene Schena  [Wed, 6 Mar 2002 16:59:06 +0000  (16:59 +0000)] 
Added Files:
Irene Schena  [Wed, 6 Mar 2002 16:57:11 +0000  (16:57 +0000)] 
Modified Files:
Claudio Sacerdoti Coen  [Wed, 6 Mar 2002 15:35:45 +0000  (15:35 +0000)] 
Dynamic loading of C code enabled.
Irene Schena  [Wed, 6 Mar 2002 14:40:16 +0000  (14:40 +0000)] 
Modified Files:
Irene Schena  [Wed, 6 Mar 2002 11:27:12 +0000  (11:27 +0000)] 
Modified Files:
Claudio Sacerdoti Coen  [Wed, 6 Mar 2002 10:12:22 +0000  (10:12 +0000)] 
* New data
Claudio Sacerdoti Coen  [Wed, 6 Mar 2002 10:11:51 +0000  (10:11 +0000)] 
Agenda detailed.
Claudio Sacerdoti Coen  [Tue, 5 Mar 2002 10:52:58 +0000  (10:52 +0000)] 
Date mistake.
Claudio Sacerdoti Coen  [Tue, 5 Mar 2002 10:10:20 +0000  (10:10 +0000)] 
Forgotten links; better link names.
Claudio Sacerdoti Coen  [Tue, 5 Mar 2002 10:09:20 +0000  (10:09 +0000)] 
New data (Calculemus)
Irene Schena  [Mon, 4 Mar 2002 16:05:57 +0000  (16:05 +0000)] 
Modified Files:
Irene Schena  [Mon, 4 Mar 2002 15:39:55 +0000  (15:39 +0000)] 
Modified Files:
Irene Schena  [Mon, 4 Mar 2002 14:50:02 +0000  (14:50 +0000)] 
Added Files:
Irene Schena  [Mon, 4 Mar 2002 14:48:43 +0000  (14:48 +0000)] 
Modified Files:
Irene Schena  [Mon, 4 Mar 2002 11:25:21 +0000  (11:25 +0000)] 
Modified Files:
Irene Schena  [Mon, 4 Mar 2002 11:23:19 +0000  (11:23 +0000)] 
Modified Files:
Claudio Sacerdoti Coen  [Fri, 1 Mar 2002 14:26:19 +0000  (14:26 +0000)] 
Name still mispelled ;-|
Irene Schena  [Fri, 1 Mar 2002 12:49:54 +0000  (12:49 +0000)] 
Modified Files:
Claudio Sacerdoti Coen  [Fri, 1 Mar 2002 12:41:35 +0000  (12:41 +0000)] 
Name mispelled.
Claudio Sacerdoti Coen  [Wed, 27 Feb 2002 14:10:46 +0000  (14:10 +0000)] 
lablgnome.cm[x]a added to the META file.
Claudio Sacerdoti Coen  [Wed, 27 Feb 2002 13:55:10 +0000  (13:55 +0000)] 
* Preliminary porting to ocaml-3.04 and to gdome completed.
Claudio Sacerdoti Coen  [Wed, 27 Feb 2002 10:06:57 +0000  (10:06 +0000)] 
Mispelled name.
Claudio Sacerdoti Coen  [Tue, 26 Feb 2002 18:15:18 +0000  (18:15 +0000)] 
More conferences.
Claudio Sacerdoti Coen  [Tue, 26 Feb 2002 16:36:26 +0000  (16:36 +0000)] 
* A new news
Claudio Sacerdoti Coen  [Tue, 26 Feb 2002 16:35:53 +0000  (16:35 +0000)] 
Warning definitely removed.
Claudio Sacerdoti Coen  [Tue, 26 Feb 2002 16:04:04 +0000  (16:04 +0000)] 
Final commit for frames/no-frames versions.
Claudio Sacerdoti Coen  [Tue, 26 Feb 2002 15:25:09 +0000  (15:25 +0000)] 
templates/menu.html moved to xml/menu.xml
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
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
Claudio Sacerdoti Coen  [Tue, 26 Feb 2002 10:29:13 +0000  (10:29 +0000)] 
The footer is now generated by xhtml-content.xsl
Claudio Sacerdoti Coen  [Tue, 26 Feb 2002 10:28:15 +0000  (10:28 +0000)] 
Avoided some bugs of libxslt.
Claudio Sacerdoti Coen  [Mon, 25 Feb 2002 16:36:08 +0000  (16:36 +0000)] 
Some code factorization: towards a frame-free site.
Claudio Sacerdoti Coen  [Mon, 25 Feb 2002 15:59:53 +0000  (15:59 +0000)] 
It was not XHTML valid.
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
Claudio Sacerdoti Coen  [Mon, 25 Feb 2002 14:31:17 +0000  (14:31 +0000)] 
* <I> ==> <em> everywhere
Claudio Sacerdoti Coen  [Mon, 25 Feb 2002 10:42:44 +0000  (10:42 +0000)] 
Some clean-up (unuseful sed removed from Makefile).
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.
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 18:23:32 +0000  (18:23 +0000)] 
* Rendering of publications improved.
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 17:16:28 +0000  (17:16 +0000)] 
Warning changed.
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 17:11:23 +0000  (17:11 +0000)] 
News updated.
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 16:59:20 +0000  (16:59 +0000)] 
* Notion of future and past events/deadlines introduced.
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 16:09:17 +0000  (16:09 +0000)] 
A big commit:
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 14:16:20 +0000  (14:16 +0000)] 
* "Older news" link added to the first page.
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 12:49:23 +0000  (12:49 +0000)] 
* Fax added.
Claudio Sacerdoti Coen  [Fri, 22 Feb 2002 12:33:37 +0000  (12:33 +0000)] 
e-mail address fixed
Claudio Sacerdoti Coen  [Thu, 21 Feb 2002 18:37:34 +0000  (18:37 +0000)] 
Missing informations filled in.
Claudio Sacerdoti Coen  [Thu, 21 Feb 2002 17:40:16 +0000  (17:40 +0000)] 
Contract added to members area.
Claudio Sacerdoti Coen  [Wed, 20 Feb 2002 17:04:53 +0000  (17:04 +0000)] 
M.L. on-line archives are on-line!
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.
Luca Padovani  [Wed, 20 Feb 2002 15:54:01 +0000  (15:54 +0000)] 
red warning
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
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.