matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/other-events.xml

]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/other-events.xml

2002-02-25	Claudio Sacerdoti...	* <I> ==> <em> everywhere	blob \| commitdiff \| raw
2002-02-22	Claudio Sacerdoti...	* Notion of future and past events/deadlines introduced.	blob \| commitdiff \| raw \| diff to current
2002-02-22	Claudio Sacerdoti...	* "Older news" link added to the first page.	blob \| commitdiff \| raw \| diff to current
2002-02-19	Luca Padovani	- removed date from menu (useful?)	blob \| commitdiff \| raw \| diff to current
2002-02-15	Claudio Sacerdoti...	Many improvements:	blob \| commitdiff \| raw \| diff to current
2002-02-15	Claudio Sacerdoti...	A new wonderful page that shows the deadlines ordered...	blob \| commitdiff \| raw \| diff to current
2002-02-15	Claudio Sacerdoti...	Events added.	blob \| commitdiff \| raw \| diff to current

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