]>
matita.cs.unibo.it Git - helm.git/log
Luca Padovani [Sat, 30 Mar 2002 17:22:13 +0000 (17:22 +0000)]
error in check for xml2-config
Claudio Sacerdoti Coen [Fri, 29 Mar 2002 09:54:43 +0000 (09:54 +0000)]
gMathView.mli added
Claudio Sacerdoti Coen [Thu, 28 Mar 2002 17:03:30 +0000 (17:03 +0000)]
Electra forms added.
Claudio Sacerdoti Coen [Thu, 28 Mar 2002 14:48:47 +0000 (14:48 +0000)]
The contract is now on-line (but for an excel file still missing).
Stefano Zacchiroli [Tue, 26 Mar 2002 18:23:16 +0000 (18:23 +0000)]
- Increased debian version to 0.3.0-3
- Added build depends to latest gmetadom and gtkmathview
Claudio Sacerdoti Coen [Tue, 26 Mar 2002 16:06:23 +0000 (16:06 +0000)]
The compilation of the test is restored.
It didn't compile any more due to a different behaviour of gcc on woody.
Claudio Sacerdoti Coen [Mon, 25 Mar 2002 12:24:05 +0000 (12:24 +0000)]
Links to the version with frames fixed.
Claudio Sacerdoti Coen [Fri, 22 Mar 2002 13:53:21 +0000 (13:53 +0000)]
Rendering improved.
Claudio Sacerdoti Coen [Fri, 22 Mar 2002 13:45:53 +0000 (13:45 +0000)]
Rendering improved.
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
* New members
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
* New: summary of the MOWGLI kick-off on-line
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
* Project Leaders added to every package
* New data in project-management
Claudio Sacerdoti Coen [Mon, 18 Mar 2002 18:49:28 +0000 (18:49 +0000)]
* Work Package Leaders added (and rendered)
* Rendering of Work Packages improved
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.
Major changes:
- split shared library package
- debian native package, diff.gz is no longer needed
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.
* 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 ;-(
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
produce both a nice PDF file and the PS document.
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:
1) dfki.xml: added member
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.