]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL /
2000-12-20 no authorThis commit was manufactured by cvs2svn to create branch lablgtk-20001129_gtkmathview-0_2_2 tree | commitdiff
2000-12-20 Luca PadovaniInitial 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 Padovanilablgtk_20001129-0.1.0-1.spec : every file specified tree | commitdiff
2000-12-01 Luca PadovaniInitial revision tree | commitdiff
2000-12-01 Claudio Sacerdoti... lablgtk-20001129 added tree | commitdiff
2000-12-01 Claudio Sacerdoti... other files missing from 20001129 tree | commitdiff
2000-12-01 Claudio Sacerdoti... other files missing in 20001129 tree | commitdiff
2000-12-01 Claudio Sacerdoti... some files of 20001129 were missing tree | commitdiff
2000-12-01 Claudio Sacerdoti... lablgtk_20001129* created tree | commitdiff
2000-11-30 Luca Padovaniminidom/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 Padovanitest/test.ml: added a call to reset_selection tree | commitdiff
2000-11-30 Luca Padovani*** empty log message *** tree | commitdiff
2000-11-30 Luca PadovaniInitial revision tree | commitdiff
2000-11-28 Luca Padovani*** empty log message *** tree | commitdiff
2000-11-28 Luca PadovaniAdded Files: tree | commitdiff
2000-11-28 Luca PadovaniInitial revision tree | commitdiff
2000-11-27 Claudio Sacerdoti... gtkmathview-config now more used tree | commitdiff
2000-11-17 Luca PadovaniInitial revision tree | commitdiff
2000-11-17 Luca PadovaniInitial revision 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
2000-11-06 Claudio Sacerdoti... Initial revision tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.