matita.cs.unibo.it Git - helm.git/history - helm/interface/Makefile.in

]> matita.cs.unibo.it Git - helm.git/history - helm/interface/Makefile.in

2001-02-08	Luca Padovani	A lot of changes to support the new UWOBO stylesheet...	blob \| commitdiff \| raw
2001-02-06	Luca Padovani	Support for automatic stylesheet configuration retrieva...	blob \| commitdiff \| raw \| diff to current
2001-02-02	Luca Padovani	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-02-02	Luca Padovani	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-01-17	Luca Padovani	improved autoconfiguration (well, maybe)	blob \| commitdiff \| raw \| diff to current
2001-01-10	Luca Padovani	Makefile.in: improved support for autoconf	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	mywget renamed in helm_wget; autoconf used for helm_wget	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	Makefile moved in Makefile.in to use autoconf	blob \| commitdiff \| raw \| diff to current

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