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

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

2001-02-08	Luca Padovani	styles_dir is now style_dir	commit \| commitdiff \| tree
2001-02-08	Luca Padovani	added style_dir in configuration file	commit \| commitdiff \| tree
2001-02-06	Luca Padovani	support for dynamic retrieval of style configuration...	commit \| commitdiff \| tree
2001-02-06	Luca Padovani	Support for automatic stylesheet configuration retrieval...	commit \| commitdiff \| tree
2001-02-06	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-02-06	Luca Padovani	added processor_url to configuration file	commit \| commitdiff \| tree
2001-02-06	Luca Padovani	bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-01-31	Luca Padovani	mmlextension.xsl : removed extra '>' at the end of...	commit \| commitdiff \| tree
2001-01-30	Luca Padovani	removed debugging printf	commit \| commitdiff \| tree
2001-01-30	Luca Padovani	xsltProcessor.ml : patched to work with UWOBO	commit \| commitdiff \| tree
2001-01-30	Luca Padovani	added support for compressed files	commit \| commitdiff \| tree
2001-01-29	Luca Padovani	configuration improvements	commit \| commitdiff \| tree
2001-01-29	Luca Padovani	some improvements	commit \| commitdiff \| tree
2001-01-29	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-01-29	Luca Padovani	some adjustments to include files	commit \| commitdiff \| tree
2001-01-29	Luca Padovani	last update was a fake update!!!	commit \| commitdiff \| tree
2001-01-25	Luca Padovani	added rm *.spec in Makefile.in	commit \| commitdiff \| tree
2001-01-25	Luca Padovani	configuration script improved	commit \| commitdiff \| tree
2001-01-25	Luca Padovani	updated the binding so that it works well with lablgtk...	commit \| commitdiff \| tree
2001-01-22	Luca Padovani	patched configure.in for Debian (different location...	commit \| commitdiff \| tree
2001-01-22	Luca Padovani	Removed Files:	commit \| commitdiff \| tree
2001-01-22	Luca Padovani	Removed Files:	commit \| commitdiff \| tree
2001-01-19	Luca Padovani	configure.in : check for perl	commit \| commitdiff \| tree
2001-01-19	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-01-19	Luca Padovani	0.0.2	commit \| commitdiff \| tree
2001-01-19	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2001-01-19	Luca Padovani	missed conflict resolved, merge	commit \| commitdiff \| tree
2001-01-18	Luca Padovani	Added Files:	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	improved autoconfiguration	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	isterix?	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	improved autoconfiguration (well, maybe)	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	improved autoconfiguration and other small fixes, this...	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	autoconfiguration improved (well, maybe)	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	autoconfiguration improved (?)	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	the spec file is now autoconfigured	commit \| commitdiff \| tree
2001-01-17	Luca Padovani	the spec file is not autoconfigured	commit \| commitdiff \| tree
2001-01-15	Luca Padovani	added LICENSE files to be included in the HELM sources	commit \| commitdiff \| tree
2001-01-15	Luca Padovani	LICENSE added	commit \| commitdiff \| tree
2001-01-15	Luca Padovani	added LICENSE	commit \| commitdiff \| tree
2001-01-15	Luca Padovani	added LICENSE files	commit \| commitdiff \| tree
2001-01-10	Luca Padovani	Makefile.in: improved support for autoconf	commit \| commitdiff \| tree
2001-01-10	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-01-10	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2001-01-08	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2000-12-20	Luca Padovani	Modified Files:	commit \| commitdiff \| tree
2000-12-20	Luca Padovani	* empty log message *	commit \| commitdiff \| tree
2000-12-20	Luca Padovani	lablgtk-20001129_gtkmathview created	commit \| commitdiff \| tree
2000-12-20	Luca Padovani	Initial revision	commit \| commitdiff \| tree
2000-12-19	Luca Padovani	Modified Files:	commit \| commitdiff \| tree
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