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

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

2000-12-04	Claudio Sacerdoti...	xref and href added to m:ci containing presentation...	commit \| commitdiff \| tree
2000-12-04	Claudio Sacerdoti...	First very partial implementation of LetIn and bodyed...	commit \| commitdiff \| tree
2000-12-04	Claudio Sacerdoti...	not simbol is now the logical one	commit \| commitdiff \| tree
2000-12-04	Claudio Sacerdoti...	Updated to V7 after V6-2 tag creation	commit \| commitdiff \| tree
2000-12-04	Claudio Sacerdoti...	Update to V7 after V6-2 tag creationg	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	during update, asks the perl getter to update too	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	update method added; now returns NOT_FOUND if the document...	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	Minor modifications	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	lablgtk-20001129 added	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	other files missing from 20001129	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	other files missing in 20001129	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	some files of 20001129 were missing	commit \| commitdiff \| tree
2000-12-01	Claudio Sacerdoti...	lablgtk_20001129* created	commit \| commitdiff \| tree
2000-11-30	Claudio Sacerdoti...	DTD for inner types of V6.2 created	commit \| commitdiff \| tree
2000-11-30	Claudio Sacerdoti...	Upgraded to mml-widget version 0.2.1	commit \| commitdiff \| tree
2000-11-30	Claudio Sacerdoti...	ominidom.cmi not installed by Makefile	commit \| commitdiff \| tree
2000-11-29	Claudio Sacerdoti...	Makefile now uses gtkmathview-config	commit \| commitdiff \| tree
2000-11-27	Claudio Sacerdoti...	xaland that uses DOM created, but seems to be bugged...	commit \| commitdiff \| tree
2000-11-27	Claudio Sacerdoti...	gtkmathview-config now more used	commit \| commitdiff \| tree
2000-11-24	Claudio Sacerdoti...	http_getter reimplemented from scratch	commit \| commitdiff \| tree
2000-11-23	Claudio Sacerdoti...	Bug fixew	commit \| commitdiff \| tree
2000-11-22	Claudio Sacerdoti...	Other cleanings in the repository	commit \| commitdiff \| tree
2000-11-22	Claudio Sacerdoti...	Many cleanings in the repository	commit \| commitdiff \| tree
2000-11-22	Claudio Sacerdoti...	Two javacores where in the repository: removed	commit \| commitdiff \| tree
2000-11-22	Claudio Sacerdoti...	Some improvements in the settings window	commit \| commitdiff \| tree
2000-11-22	Claudio Sacerdoti...	Some bug fixed	commit \| commitdiff \| tree
2000-11-22	Claudio Sacerdoti...	Inserted msqrt to mark where to do some modifications	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	install improved	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Nothing important	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	I don't know	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Some bugs fixed	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	cadet, isterix changed	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Nothing important	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Nothing important.	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Two links were missing	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	xaland-* moved in xsltd repository	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	http_getter moved in the http_getter repository	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	http_getter.pl moved in the http_getter repository	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	isterix file added	commit \| commitdiff \| tree
2000-11-17	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-11-16	Claudio Sacerdoti...	Another patch to the http_getter.ml.	commit \| commitdiff \| tree
2000-11-16	Claudio Sacerdoti...	.cvsignore improved	commit \| commitdiff \| tree
2000-11-16	Claudio Sacerdoti...	Some modularity added	commit \| commitdiff \| tree
2000-11-16	Claudio Sacerdoti...	Library files removed from the repository	commit \| commitdiff \| tree
2000-11-16	Claudio Sacerdoti...	Much more modularity and some buf fixed in http_getter.pl	commit \| commitdiff \| tree
2000-11-15	Claudio Sacerdoti...	Some debug print removed	commit \| commitdiff \| tree
2000-11-15	Claudio Sacerdoti...	Other patches to this file. It must be rewritten from...	commit \| commitdiff \| tree
2000-11-15	Claudio Sacerdoti...	Very dangerous bug fond!!!	commit \| commitdiff \| tree
2000-11-10	Claudio Sacerdoti...	Many bug fixed	commit \| commitdiff \| tree
2000-11-10	Claudio Sacerdoti...	Now windows resize well (at least some of them)	commit \| commitdiff \| tree
2000-11-10	Claudio Sacerdoti...	Xalan-J-2 support added. Still too alpha to work, too.	commit \| commitdiff \| tree
2000-11-09	Claudio Sacerdoti...	Selection fixed	commit \| commitdiff \| tree
2000-11-09	Claudio Sacerdoti...	New improvements	commit \| commitdiff \| tree
2000-11-09	Claudio Sacerdoti...	Adding settings to the widget	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Installation fixed	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Porting to lablgtk_gtkmathview-0.2.0 completed	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	spec file forgot in previous commit	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Package specifications created	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Makefile acceptable. Ready to start packaging.	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Binding completed and tested. Makefile still to do.	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Fixing the selections	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Repository fixing	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Some cleaning on the repository. .cvsignore added	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Test improved	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	.cvsignore improved	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	Many bug fixed and improvements in minidom.	commit \| commitdiff \| tree
2000-11-08	Claudio Sacerdoti...	isterix updated	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Test finished, but some bugs still remaining	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Fixing repository	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	REpository fixing.	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Repository fixing	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Fixing repository	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Fixing the repository	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Test improved.	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Test almost finished. Some bugs found.	commit \| commitdiff \| tree
2000-11-07	Claudio Sacerdoti...	Start of test phase	commit \| commitdiff \| tree
2000-11-06	Claudio Sacerdoti...	First release. All implemented but the PostScript output...	commit \| commitdiff \| tree
2000-11-06	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-11-06	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-11-03	Claudio Sacerdoti...	Temporary patch for threads and and_ind, or_ind, ...	commit \| commitdiff \| tree
2000-11-03	Claudio Sacerdoti...	The interface sorts the entryes in the trees	commit \| commitdiff \| tree
2000-11-03	Claudio Sacerdoti...	Set notation now working again	commit \| commitdiff \| tree
2000-11-03	Claudio Sacerdoti...	FIX body bug fixed	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Minor modification	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Added style before natural language synthesis	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Unuseful file removed	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Patch to the hard-coded constant in http_getter.pl	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	HELM_CONFIGURATION_PREFIX added to OCaml files	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	HELM_CONFIGURATION_PREFIX now used	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	configuration file changed	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	install script added	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Binary files added to .cvsignore	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	.cvsignore created	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-10-31	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree

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

RSS Atom