matita.cs.unibo.it Git - helm.git/history - helm/interface/mmlinterface.ml

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

2000-12-20	Claudio Sacerdoti...	Now the gtk trees are lazily constructed.	blob \| commitdiff \| raw
2000-12-20	Claudio Sacerdoti...	Code clean-up: only one procedure to create the gtk...	blob \| commitdiff \| raw \| diff to current
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-23	Claudio Sacerdoti...	Bug fixew	blob \| commitdiff \| raw \| diff to current
2000-11-22	Claudio Sacerdoti...	Some improvements in the settings window	blob \| commitdiff \| raw \| diff to current
2000-11-10	Claudio Sacerdoti...	Now windows resize well (at least some of them)	blob \| commitdiff \| raw \| diff to current
2000-11-09	Claudio Sacerdoti...	Selection fixed	blob \| commitdiff \| raw \| diff to current
2000-11-09	Claudio Sacerdoti...	New improvements	blob \| commitdiff \| raw \| diff to current
2000-11-09	Claudio Sacerdoti...	Adding settings to the widget	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.