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

]> matita.cs.unibo.it Git - helm.git/history - helm/interface/Makefile

2000-12-13	Claudio Sacerdoti...	Few modifications required each time to make interface...	blob \| commitdiff \| raw
2000-12-01	Claudio Sacerdoti...	Minor modifications	blob \| commitdiff \| raw \| diff to current
2000-12-01	Luca Padovani	mmlinterface.ml : updated to the new binding	blob \| commitdiff \| raw \| diff to current
2000-11-30	Claudio Sacerdoti...	Upgraded to mml-widget version 0.2.1	blob \| commitdiff \| raw \| diff to current
2000-11-29	Claudio Sacerdoti...	Makefile now uses gtkmathview-config	blob \| commitdiff \| raw \| diff to current
2000-11-22	Claudio Sacerdoti...	Other cleanings in the repository	blob \| commitdiff \| raw \| diff to current
2000-11-17	Claudio Sacerdoti...	xaland-* moved in xsltd repository	blob \| commitdiff \| raw \| diff to current
2000-11-17	Claudio Sacerdoti...	http_getter moved in the http_getter repository	blob \| commitdiff \| raw \| diff to current
2000-11-16	Claudio Sacerdoti...	Much more modularity and some buf fixed in http_getter.pl	blob \| commitdiff \| raw \| diff to current
2000-11-10	Claudio Sacerdoti...	Xalan-J-2 support added. Still too alpha to work, too.	blob \| commitdiff \| raw \| diff to current
2000-11-08	Claudio Sacerdoti...	Porting to lablgtk_gtkmathview-0.2.0 completed	blob \| commitdiff \| raw \| diff to current
2000-11-03	Claudio Sacerdoti...	The interface sorts the entryes in the trees	blob \| commitdiff \| raw \| diff to current
2000-10-31	Claudio Sacerdoti...	Initial revision	blob \| commitdiff \| raw \| diff to current

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