]>
matita.cs.unibo.it Git - helm.git/log
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:
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
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
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
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:
1) sites/dfki.xml sites/nijmegen.xml: errors fixed
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
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:
1) pert_new.png: added resolution
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.)
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:
1) NextArrow.gif PreviousArrow.gif: arrows for next and prev pages
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
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:
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
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
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 10:12:22 +0000 (10:12 +0000)]
* New data
* <date>s of the news are now numerical
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:
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
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
Irene Schena [Mon, 4 Mar 2002 14:50:02 +0000 (14:50 +0000)]
Added Files:
1) innovation.xml: chapter 5 mowgli proposal
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
Irene Schena [Mon, 4 Mar 2002 11:25:21 +0000 (11:25 +0000)]
Modified Files:
1) home/html/.cvsignore
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
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:
1) home/xml/people/index.xml home/xsl/people-list.xsl: added order to sites
(chapter 3 of mowgli proposal)
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
* links now allowed inside 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.
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?
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)
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
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.
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
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.
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.
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.
(i.e. no more cat ... >> $@)
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 18:23:32 +0000 (18:23 +0000)]
* Rendering of publications improved.
* Small typos fixed.
* Some clean-up.
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.
* Approaching deadlines added to the front page. Should we keep them?
* The stylesheet mess done by Luca has been fixed (i.e. removed) ;-)
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.
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.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 12:49:23 +0000 (12:49 +0000)]
* Fax added.
* Data for Theresa Velden updated.
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
ordered by member status inside the site. Probably, some
more informations will be added soon (e.g. "site leader",
or "work-package leader" etc.)
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 ;-)
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.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 17:26:50 +0000 (17:26 +0000)]
Project Objectives added.
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
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
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
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.
Luca Padovani [Tue, 19 Feb 2002 00:49:02 +0000 (00:49 +0000)]
changed format of content file, now xhtml
Luca Padovani [Tue, 19 Feb 2002 00:24:52 +0000 (00:24 +0000)]
ok, here is the last one
Luca Padovani [Tue, 19 Feb 2002 00:24:25 +0000 (00:24 +0000)]
as usual forgot some files (mailing list, members' index)
Luca Padovani [Tue, 19 Feb 2002 00:22:26 +0000 (00:22 +0000)]
- added publication index
- added software index
- added member area
Claudio Sacerdoti Coen [Mon, 18 Feb 2002 19:00:23 +0000 (19:00 +0000)]
Nothing yet pages added to fix broken links.
Claudio Sacerdoti Coen [Mon, 18 Feb 2002 18:06:46 +0000 (18:06 +0000)]
Members area implemented.
Luca Padovani [Mon, 18 Feb 2002 14:43:09 +0000 (14:43 +0000)]
home.html.mid still around in the dependencies: removed
Luca Padovani [Sat, 16 Feb 2002 02:24:54 +0000 (02:24 +0000)]
added some stylesheets for list of people and sorting
Luca Padovani [Sat, 16 Feb 2002 02:23:33 +0000 (02:23 +0000)]
- list of people
- fixes here and there
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:57:17 +0000 (14:57 +0000)]
English errors fixed.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:55:48 +0000 (14:55 +0000)]
English error fixed.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:37:10 +0000 (14:37 +0000)]
Many improvements:
1) a print_interval template has been put in common.xsl
2) events are now sorted by starting date
3) colors are used to differentiate between submissions, notifications,
and so on. Is this an improvement? ;-|
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 13:46:29 +0000 (13:46 +0000)]
Ehhm. Order ==> Sort ;-)
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 13:44:09 +0000 (13:44 +0000)]
A new wonderful page that shows the deadlines ordered by date.
Moreover, I have added a new set of functions in commond.xsl
to pretty-print in English a date encoded as
20020218 (that is
easy to sort!).
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 11:47:30 +0000 (11:47 +0000)]
Events added.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 09:56:41 +0000 (09:56 +0000)]
project_summary.html added, but not linked yet.
Luca Padovani [Fri, 15 Feb 2002 01:19:50 +0000 (01:19 +0000)]
two column layout. Better or worse?
Luca Padovani [Thu, 14 Feb 2002 21:55:02 +0000 (21:55 +0000)]
- main page now generated automatically
- latest news included in main page
- improved layout
- changed colours
- fix for IE (dismissed blockquote everywhere)
Claudio Sacerdoti Coen [Thu, 14 Feb 2002 18:50:46 +0000 (18:50 +0000)]
Rendering of links to composite sites (i.e. aei) is now OK.
Claudio Sacerdoti Coen [Thu, 14 Feb 2002 17:19:57 +0000 (17:19 +0000)]
Fixed broken links to IST images.
Irene Schena [Thu, 14 Feb 2002 15:19:13 +0000 (15:19 +0000)]
----------------------------------------------------------------------
Added Files:
project_summary.html: chapter 1 MOWGLI proposal
----------------------------------------------------------------------
Claudio Sacerdoti Coen [Thu, 14 Feb 2002 10:07:18 +0000 (10:07 +0000)]
OMDoc link fixed.
Luca Padovani [Wed, 13 Feb 2002 20:01:44 +0000 (20:01 +0000)]
as usual...
Luca Padovani [Wed, 13 Feb 2002 20:00:53 +0000 (20:00 +0000)]
partial implementation of IST logo. Deep pages have the wrong reference
Luca Padovani [Wed, 13 Feb 2002 19:17:44 +0000 (19:17 +0000)]
- install/uninstall targets added
- link to personal page now with target="_top"
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 18:42:40 +0000 (18:42 +0000)]
More information added.