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

]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/lablgtk_gtkmathview

[helm.git] / helm / DEVEL / lablgtk_gtkmathview /

2000-12-20	Luca Padovani	* empty log message *	tree \| commitdiff
2000-12-20	Luca Padovani	lablgtk-20001129_gtkmathview created	tree \| commitdiff
2000-12-20	Luca Padovani	Initial revision	tree \| commitdiff
2000-12-06	Claudio Sacerdoti...	Now lablgtk dir is automatically found	tree \| commitdiff
2000-12-06	Claudio Sacerdoti...	gtkmathview/gtkmathview.h => gtkmathview.h	tree \| commitdiff
2000-12-01	Luca Padovani	Initial revision	tree \| commitdiff
2000-12-01	Claudio Sacerdoti...	lablgtk-20001129 added	tree \| commitdiff
2000-11-30	Luca Padovani	minidom/Makefile: missing $(INST) variable for non...	tree \| commitdiff
2000-11-30	Claudio Sacerdoti...	ominidom.cmi not installed by Makefile	tree \| commitdiff
2000-11-30	Luca Padovani	test/test.ml: added a call to reset_selection	tree \| commitdiff
2000-11-30	Luca Padovani	* empty log message *	tree \| commitdiff
2000-11-30	Luca Padovani	Initial revision	tree \| commitdiff
2000-11-28	Luca Padovani	* empty log message *	tree \| commitdiff
2000-11-28	Luca Padovani	Added Files:	tree \| commitdiff
2000-11-28	Luca Padovani	Initial revision	tree \| commitdiff
2000-11-27	Claudio Sacerdoti...	gtkmathview-config now more used	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Installation fixed	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	spec file forgot in previous commit	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Package specifications created	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Makefile acceptable. Ready to start packaging.	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Binding completed and tested. Makefile still to do.	tree \| commitdiff
2000-11-08	Luca Padovani	* empty log message *	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Fixing the selections	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Some cleaning on the repository. .cvsignore added	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Test improved	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	.cvsignore improved	tree \| commitdiff
2000-11-08	Claudio Sacerdoti...	Many bug fixed and improvements in minidom.	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Test finished, but some bugs still remaining	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Fixing repository	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	REpository fixing.	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Repository fixing	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Fixing repository	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Fixing the repository	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Test improved.	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Test almost finished. Some bugs found.	tree \| commitdiff
2000-11-07	Claudio Sacerdoti...	Start of test phase	tree \| commitdiff
2000-11-06	Claudio Sacerdoti...	First release. All implemented but the PostScript outpu...	tree \| commitdiff
2000-11-06	Claudio Sacerdoti...	Initial revision	tree \| commitdiff

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

RSS Atom