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

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

2000-12-21	Claudio Sacerdoti...	bug fixed	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	configuration.xml autoconfigured	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	helm-math-engine-configuration.xml autoconfigured	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	helm-math-engine-configuration.xml autoconfigured	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	configuration.pl.in configured	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	.cvsignore added	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	Autoconf used	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	All files previously in local/$i/helm moved in $i	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	cvsignore added	commit \| commitdiff \| tree \| snapshot
2000-12-21	Claudio Sacerdoti...	Using autoconf	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	Now the gtk trees are lazily constructed.	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	Code clean-up: only one procedure to create the gtk...	commit \| commitdiff \| tree \| snapshot
2000-12-20	Luca Padovani	Modified Files:	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	Initial	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	Nothing important	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	Initial	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	initial	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	uwobo added	commit \| commitdiff \| tree \| snapshot
2000-12-20	Claudio Sacerdoti...	xaland-uwobo created	commit \| commitdiff \| tree \| snapshot
2000-12-20	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2000-12-20	Luca Padovani	lablgtk-20001129_gtkmathview created	commit \| commitdiff \| tree \| snapshot
2000-12-20	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-12-19	Luca Padovani	Modified Files:	commit \| commitdiff \| tree \| snapshot
2000-12-19	Luca Padovani	Added Files (these are configuration files for the...	commit \| commitdiff \| tree \| snapshot
2000-12-18	Claudio Sacerdoti...	Performance improvements using the sort attribute	commit \| commitdiff \| tree \| snapshot
2000-12-18	Claudio Sacerdoti...	Some spaces at the content level eliminated.	commit \| commitdiff \| tree \| snapshot
2000-12-18	Claudio Sacerdoti...	Performance improvements and bug fixed	commit \| commitdiff \| tree \| snapshot
2000-12-15	Luca Padovani	minidom-0.1.0-plain-1.spec: package linked without...	commit \| commitdiff \| tree \| snapshot
2000-12-14	Claudio Sacerdoti...	Bug fixed	commit \| commitdiff \| tree \| snapshot
2000-12-14	Claudio Sacerdoti...	Some optimizations using the "sort" attribute.	commit \| commitdiff \| tree \| snapshot
2000-12-13	Claudio Sacerdoti...	Few modifications required each time to make interface...	commit \| commitdiff \| tree \| snapshot
2000-12-13	Claudio Sacerdoti...	Now mywget is used instead of wget. mywget is a wrapper...	commit \| commitdiff \| tree \| snapshot
2000-12-12	Claudio Sacerdoti...	Script to start http-getter at boot time.	commit \| commitdiff \| tree \| snapshot
2000-12-07	Claudio Sacerdoti...	Another contribution. But this one does not work	commit \| commitdiff \| tree \| snapshot
2000-12-07	Claudio Sacerdoti...	.cvsignore files added	commit \| commitdiff \| tree \| snapshot
2000-12-07	Claudio Sacerdoti...	Many files added. Symbolic links missing. examples...	commit \| commitdiff \| tree \| snapshot
2000-12-07	Claudio Sacerdoti...	forall csymbol added	commit \| commitdiff \| tree \| snapshot
2000-12-07	Claudio Sacerdoti...	External entity inclusion fixed	commit \| commitdiff \| tree \| snapshot
2000-12-07	Claudio Sacerdoti...	Attribute type added to PROD	commit \| commitdiff \| tree \| snapshot
2000-12-06	Claudio Sacerdoti...	Now lablgtk dir is automatically found	commit \| commitdiff \| tree \| snapshot
2000-12-06	Claudio Sacerdoti...	gtkmathview/gtkmathview.h => gtkmathview.h	commit \| commitdiff \| tree \| snapshot
2000-12-04	Claudio Sacerdoti...	xref and href added to m:ci containing presentation...	commit \| commitdiff \| tree \| snapshot
2000-12-04	Claudio Sacerdoti...	First very partial implementation of LetIn and bodyed...	commit \| commitdiff \| tree \| snapshot
2000-12-04	Claudio Sacerdoti...	not simbol is now the logical one	commit \| commitdiff \| tree \| snapshot
2000-12-04	Claudio Sacerdoti...	Updated to V7 after V6-2 tag creation	commit \| commitdiff \| tree \| snapshot
2000-12-04	Claudio Sacerdoti...	Update to V7 after V6-2 tag creationg	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	during update, asks the perl getter to update too	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	update method added; now returns NOT_FOUND if the docum...	commit \| commitdiff \| tree \| snapshot
2000-12-01	Luca Padovani	lablgtk_20001129-0.1.0-1.spec : every file specified	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	Minor modifications	commit \| commitdiff \| tree \| snapshot
2000-12-01	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-12-01	Luca Padovani	mmlinterface.ml : updated to the new binding	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	lablgtk-20001129 added	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	other files missing from 20001129	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	other files missing in 20001129	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	some files of 20001129 were missing	commit \| commitdiff \| tree \| snapshot
2000-12-01	Claudio Sacerdoti...	lablgtk_20001129* created	commit \| commitdiff \| tree \| snapshot
2000-11-30	Claudio Sacerdoti...	DTD for inner types of V6.2 created	commit \| commitdiff \| tree \| snapshot
2000-11-30	Claudio Sacerdoti...	Upgraded to mml-widget version 0.2.1	commit \| commitdiff \| tree \| snapshot
2000-11-30	Luca Padovani	minidom/Makefile: missing $(INST) variable for non...	commit \| commitdiff \| tree \| snapshot
2000-11-30	Claudio Sacerdoti...	ominidom.cmi not installed by Makefile	commit \| commitdiff \| tree \| snapshot
2000-11-30	Luca Padovani	test/test.ml: added a call to reset_selection	commit \| commitdiff \| tree \| snapshot
2000-11-30	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2000-11-30	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-11-29	Claudio Sacerdoti...	Makefile now uses gtkmathview-config	commit \| commitdiff \| tree \| snapshot
2000-11-29	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2000-11-29	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2000-11-28	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2000-11-28	Luca Padovani	Added Files:	commit \| commitdiff \| tree \| snapshot
2000-11-28	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-11-27	Claudio Sacerdoti...	xaland that uses DOM created, but seems to be bugged...	commit \| commitdiff \| tree \| snapshot
2000-11-27	Claudio Sacerdoti...	gtkmathview-config now more used	commit \| commitdiff \| tree \| snapshot
2000-11-24	Luca Padovani	mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm...	commit \| commitdiff \| tree \| snapshot
2000-11-24	Luca Padovani	getheader.xml setheader.xsl : fix del bug bruttissimo	commit \| commitdiff \| tree \| snapshot
2000-11-24	Luca Padovani	Modified Files:	commit \| commitdiff \| tree \| snapshot
2000-11-24	Luca Padovani	Modified Files:	commit \| commitdiff \| tree \| snapshot
2000-11-24	Claudio Sacerdoti...	http_getter reimplemented from scratch	commit \| commitdiff \| tree \| snapshot
2000-11-23	Claudio Sacerdoti...	Bug fixew	commit \| commitdiff \| tree \| snapshot
2000-11-22	Claudio Sacerdoti...	Other cleanings in the repository	commit \| commitdiff \| tree \| snapshot
2000-11-22	Claudio Sacerdoti...	Many cleanings in the repository	commit \| commitdiff \| tree \| snapshot
2000-11-22	Claudio Sacerdoti...	Two javacores where in the repository: removed	commit \| commitdiff \| tree \| snapshot
2000-11-22	Claudio Sacerdoti...	Some improvements in the settings window	commit \| commitdiff \| tree \| snapshot
2000-11-22	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2000-11-22	Claudio Sacerdoti...	Some bug fixed	commit \| commitdiff \| tree \| snapshot
2000-11-22	Claudio Sacerdoti...	Inserted msqrt to mark where to do some modifications	commit \| commitdiff \| tree \| snapshot
2000-11-20	Luca Padovani	Don't use configuration.pl any more (does it work anyway?)	commit \| commitdiff \| tree \| snapshot
2000-11-20	Luca Padovani	Added Files (for webeq):	commit \| commitdiff \| tree \| snapshot
2000-11-20	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-11-20	Luca Padovani	local/etc/helm/configuration.xml: changed xmlfile ...	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	install improved	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	Nothing important	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	I don't know	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	Some bugs fixed	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	cadet, isterix changed	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	Nothing important	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	Nothing important.	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	Two links were missing	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	xaland-* moved in xsltd repository	commit \| commitdiff \| tree \| snapshot
2000-11-17	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom