matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

2002-02-27	Claudio Sacerdoti...	Mispelled name.	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	More conferences.	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	* A new news	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	Warning definitely removed.	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	Final commit for frames/no-frames versions.	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	templates/menu.html moved to xml/menu.xml	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	* non-html stuff that was installed in html/members...	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	* The footer of home.xml is now generated from xhtml...	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	The footer is now generated by xhtml-content.xsl	commit \| commitdiff \| tree \| snapshot
2002-02-26	Claudio Sacerdoti...	Avoided some bugs of libxslt.	commit \| commitdiff \| tree \| snapshot
2002-02-25	Claudio Sacerdoti...	Some code factorization: towards a frame-free site.	commit \| commitdiff \| tree \| snapshot
2002-02-25	Claudio Sacerdoti...	It was not XHTML valid.	commit \| commitdiff \| tree \| snapshot
2002-02-25	Claudio Sacerdoti...	Great changes in all the stylesheets. Every page is...	commit \| commitdiff \| tree \| snapshot
2002-02-25	Claudio Sacerdoti...	* <I> ==> <em> everywhere	commit \| commitdiff \| tree \| snapshot
2002-02-25	Claudio Sacerdoti...	Some clean-up (unuseful sed removed from Makefile).	commit \| commitdiff \| tree \| snapshot
2002-02-24	Claudio Sacerdoti...	More cleanup: the home page is now generated by means...	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	* Rendering of publications improved.	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	Warning changed.	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	News updated.	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	* Notion of future and past events/deadlines introduced.	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	A big commit:	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	* "Older news" link added to the first page.	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	* Fax added.	commit \| commitdiff \| tree \| snapshot
2002-02-22	Claudio Sacerdoti...	e-mail address fixed	commit \| commitdiff \| tree \| snapshot
2002-02-21	Claudio Sacerdoti...	Missing informations filled in.	commit \| commitdiff \| tree \| snapshot
2002-02-21	Claudio Sacerdoti...	Contract added to members area.	commit \| commitdiff \| tree \| snapshot
2002-02-20	Claudio Sacerdoti...	M.L. on-line archives are on-line!	commit \| commitdiff \| tree \| snapshot
2002-02-20	Claudio Sacerdoti...	Warning moved to a better position to re-balance the...	commit \| commitdiff \| tree \| snapshot
2002-02-20	Luca Padovani	red warning	commit \| commitdiff \| tree \| snapshot
2002-02-19	Claudio Sacerdoti...	The list of persons in the "By Site" ordering is now...	commit \| commitdiff \| tree \| snapshot
2002-02-19	Claudio Sacerdoti...	The list of persons in alphabetical order is now in...	commit \| commitdiff \| tree \| snapshot
2002-02-19	Claudio Sacerdoti...	Added File arch.gif, generated from .fig by Irene.	commit \| commitdiff \| tree \| snapshot
2002-02-19	Claudio Sacerdoti...	Project Objectives added.	commit \| commitdiff \| tree \| snapshot
2002-02-19	Luca Padovani	- removed date from menu (useful?)	commit \| commitdiff \| tree \| snapshot
2002-02-19	Luca Padovani	moved some xml files into xml root directory	commit \| commitdiff \| tree \| snapshot
2002-02-19	Luca Padovani	- renamed some files	commit \| commitdiff \| tree \| snapshot
2002-02-19	Claudio Sacerdoti...	Broken links fixed somehow.	commit \| commitdiff \| tree \| snapshot
2002-02-19	Luca Padovani	changed format of content file, now xhtml	commit \| commitdiff \| tree \| snapshot
2002-02-19	Luca Padovani	ok, here is the last one	commit \| commitdiff \| tree \| snapshot
2002-02-19	Luca Padovani	as usual forgot some files (mailing list, members'...	commit \| commitdiff \| tree \| snapshot
2002-02-19	Luca Padovani	- added publication index	commit \| commitdiff \| tree \| snapshot
2002-02-18	Claudio Sacerdoti...	Nothing yet pages added to fix broken links.	commit \| commitdiff \| tree \| snapshot
2002-02-18	Claudio Sacerdoti...	Members area implemented.	commit \| commitdiff \| tree \| snapshot
2002-02-18	Luca Padovani	home.html.mid still around in the dependencies: removed	commit \| commitdiff \| tree \| snapshot
2002-02-16	Luca Padovani	added some stylesheets for list of people and sorting	commit \| commitdiff \| tree \| snapshot
2002-02-16	Luca Padovani	- list of people	commit \| commitdiff \| tree \| snapshot
2002-02-15	Claudio Sacerdoti...	English errors fixed.	commit \| commitdiff \| tree \| snapshot
2002-02-15	Claudio Sacerdoti...	English error fixed.	commit \| commitdiff \| tree \| snapshot
2002-02-15	Claudio Sacerdoti...	Many improvements:	commit \| commitdiff \| tree \| snapshot
2002-02-15	Claudio Sacerdoti...	Ehhm. Order ==> Sort ;-)	commit \| commitdiff \| tree \| snapshot
2002-02-15	Claudio Sacerdoti...	A new wonderful page that shows the deadlines ordered...	commit \| commitdiff \| tree \| snapshot
2002-02-15	Claudio Sacerdoti...	Events added.	commit \| commitdiff \| tree \| snapshot
2002-02-15	Claudio Sacerdoti...	project_summary.html added, but not linked yet.	commit \| commitdiff \| tree \| snapshot
2002-02-15	Luca Padovani	two column layout. Better or worse?	commit \| commitdiff \| tree \| snapshot
2002-02-14	Luca Padovani	- main page now generated automatically	commit \| commitdiff \| tree \| snapshot
2002-02-14	Claudio Sacerdoti...	Rendering of links to composite sites (i.e. aei) is...	commit \| commitdiff \| tree \| snapshot
2002-02-14	Claudio Sacerdoti...	Fixed broken links to IST images.	commit \| commitdiff \| tree \| snapshot
2002-02-14	Irene Schena	--------------------------------------------------...	commit \| commitdiff \| tree \| snapshot
2002-02-14	Claudio Sacerdoti...	OMDoc link fixed.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Luca Padovani	as usual...	commit \| commitdiff \| tree \| snapshot
2002-02-13	Luca Padovani	partial implementation of IST logo. Deep pages have...	commit \| commitdiff \| tree \| snapshot
2002-02-13	Luca Padovani	- install/uninstall targets added	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	More information added.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Project Management template added.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Bug fixed: the top directory has a different (relative...	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Qualification now always used before name and surname.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	More uniform layout.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Deliverables are now described in XML.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Luca Padovani	- more uniform layout	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Another part of the proposal encoded.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Deliverables added.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Work-packages DTD improved (tasks now have an identifie...	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	DTD improved (and committed) with new elements "task...	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Ordered list (ol) replaced by a table to be able to...	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	The Work-Packages index page is no more a static HTML...	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Hyperlink to the author's MOWLI home page added.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	Wrong cut & paste from Herbelin's data.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Claudio Sacerdoti...	* news.xml was not valid. DTD fixed.	commit \| commitdiff \| tree \| snapshot
2002-02-13	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2002-02-13	Luca Padovani	- added common stylesheet	commit \| commitdiff \| tree \| snapshot
2002-02-12	Claudio Sacerdoti...	.cvsignore added where useful	commit \| commitdiff \| tree \| snapshot
2002-02-12	Claudio Sacerdoti...	Initial commit of the XML/XSLT stuff.	commit \| commitdiff \| tree \| snapshot
2002-02-11	Luca Padovani	this is the first commit for the mowgli website.	commit \| commitdiff \| tree \| snapshot
2002-02-06	Claudio Sacerdoti...	First commit toward 0.3.0.	commit \| commitdiff \| tree \| snapshot
2002-02-06	Claudio Sacerdoti...	Until Garrigue puts a META file in lablgtk, we can...	commit \| commitdiff \| tree \| snapshot
2002-02-05	Claudio Sacerdoti...	Due to a syntax error, theories in MathML Presentation...	commit \| commitdiff \| tree \| snapshot
2002-02-05	Luca Padovani	porting to gdome2 started	commit \| commitdiff \| tree \| snapshot
2002-02-01	Irene Schena	--------------------------------------------------...	commit \| commitdiff \| tree \| snapshot
2002-01-29	Claudio Sacerdoti...	Ported to ocaml-3.04	commit \| commitdiff \| tree \| snapshot
2002-01-29	Claudio Sacerdoti...	Ported to ocaml-3.04.	commit \| commitdiff \| tree \| snapshot
2002-01-21	Stefano Zacchiroli	Bug fix: destdir for mlminidom installation is now...	commit \| commitdiff \| tree \| snapshot
2002-01-20	Stefano Zacchiroli	- Vanity: added .... me to the copyright file as autho...	commit \| commitdiff \| tree \| snapshot
2002-01-20	Stefano Zacchiroli	- Minor fix: includes upstream changelog only if it...	commit \| commitdiff \| tree \| snapshot
2002-01-20	Stefano Zacchiroli	Added "-destdir" argument to "ocamlfind install" in...	commit \| commitdiff \| tree \| snapshot
2002-01-20	Stefano Zacchiroli	Ported to ocaml 3.04 (fixed problems with commuting...	commit \| commitdiff \| tree \| snapshot
2002-01-20	Stefano Zacchiroli	Upgraded debian package for mlminidom 0.2.2	commit \| commitdiff \| tree \| snapshot
2002-01-11	Claudio Sacerdoti...	There were a big bug in both Fix and CoFix: the recursi...	commit \| commitdiff \| tree \| snapshot
2002-01-10	Claudio Sacerdoti...	CIC Textual Parser added to the repository.	commit \| commitdiff \| tree \| snapshot
2001-12-21	Irene Schena	--------------------------------------------------...	commit \| commitdiff \| tree \| snapshot
2001-12-13	Irene Schena	--------------------------------------------------...	commit \| commitdiff \| tree \| snapshot
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom