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

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

2000-12-19	Luca Padovani	Added Files (these are configuration files for the...	commit \| commitdiff \| tree
2000-12-15	Luca Padovani	minidom-0.1.0-plain-1.spec: package linked without...	commit \| commitdiff \| tree
2000-12-01	Luca Padovani	lablgtk_20001129-0.1.0-1.spec : every file specified	commit \| commitdiff \| tree
2000-12-01	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2000-12-01	Luca Padovani	mmlinterface.ml : updated to the new binding	commit \| commitdiff \| tree
2000-11-30	Luca Padovani	minidom/Makefile: missing $(INST) variable for non...	commit \| commitdiff \| tree
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.

RSS Atom