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

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

2000-11-30	Luca Padovani	test/test.ml: added a call to reset_selection	commit \| commitdiff \| tree
2000-11-30	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2000-11-30	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2000-11-28	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2000-11-28	Luca Padovani	Added Files:	commit \| commitdiff \| tree
2000-11-28	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2000-11-24	Luca Padovani	mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm...	commit \| commitdiff \| tree
2000-11-24	Luca Padovani	getheader.xml setheader.xsl : fix del bug bruttissimo	commit \| commitdiff \| tree
2000-11-24	Luca Padovani	Modified Files:	commit \| commitdiff \| tree
2000-11-24	Luca Padovani	Modified Files:	commit \| commitdiff \| tree
2000-11-20	Luca Padovani	Don't use configuration.pl any more (does it work anyway?)	commit \| commitdiff \| tree
2000-11-20	Luca Padovani	Added Files (for webeq):	commit \| commitdiff \| tree
2000-11-20	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2000-11-20	Luca Padovani	local/etc/helm/configuration.xml: changed xmlfile ...	commit \| commitdiff \| tree
2000-11-17	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2000-11-17	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2000-11-08	Luca Padovani	* empty log message *	commit \| commitdiff \| tree

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