]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
template mk-mml-op-noannot was modified to allow hidden parameters
[helm.git] / helm / DEVEL /
2001-10-17 Stefano ZacchiroliMakefile.in that support some new architectures. tree | commitdiff
2001-04-03 Claudio Sacerdoti... Line morally belonging to lablgtk/*.h now is there... tree | commitdiff
2001-04-03 Claudio Sacerdoti... Updated to lablgtk 1.2 and ocaml-3.01. tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-29 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-29 Luca Padovanisome adjustments to include files tree | commitdiff
2001-01-29 Luca Padovanilast update was a fake update!!! tree | commitdiff
2001-01-25 Luca Padovaniconfiguration script improved tree | commitdiff
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk... tree | commitdiff
2001-01-22 Luca Padovanipatched configure.in for Debian (different location... tree | commitdiff
2001-01-17 Luca Padovanithe spec file is now autoconfigured tree | commitdiff
2001-01-17 Luca Padovanithe spec file is not autoconfigured tree | commitdiff
2001-01-10 Luca PadovaniInitial revision tree | commitdiff
2001-01-10 Luca PadovaniInitial revision tree | commitdiff
2000-12-20 Luca Padovani*** empty log message *** tree | commitdiff
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created 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.