]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Module Logger added.
[helm.git] / helm / DEVEL /
2002-04-12 Stefano Zacchiroliadded debian stuff and a makefile with "dist" target tree | commitdiff
2002-04-12 Stefano Zacchirolichanged name to gdome2-xslt tree | commitdiff
2002-04-12 Stefano Zacchiroli- added -fPIC when creating .so tree | commitdiff
2002-04-12 Stefano Zacchirolichanged package name to gdome2-xslt tree | commitdiff
2002-04-12 Stefano Zacchirolicma names parameterized in configure @PACKAGE@ variable tree | commitdiff
2002-04-12 Stefano Zacchiroli-7 debian release, hopefully build also on HPPA tree | commitdiff
2002-04-12 Stefano Zacchiroliadded -fPIC option when compiling ml_gtk_mathview.o tree | commitdiff
2002-04-02 Stefano ZacchiroliAdded Build-Depends on t1lib-dev tree | commitdiff
2002-04-01 Stefano ZacchiroliAdded build-depend on libgdome2-cpp-smart-dev. tree | commitdiff
2002-03-31 Stefano Zacchiroli- added some .mli and .ml to the debian package tree | commitdiff
2002-03-29 Claudio Sacerdoti... gMathView.mli added tree | commitdiff
2002-03-26 Stefano Zacchiroli- Increased debian version to 0.3.0-3 tree | commitdiff
2002-03-26 Claudio Sacerdoti... The compilation of the test is restored. tree | commitdiff
2002-03-15 Stefano ZacchiroliAdded build dep on libgdome2-dev tree | commitdiff
2002-03-13 Stefano ZacchiroliDebian changes for version 0.3.0 of lablgtkmathview. tree | commitdiff
2002-03-12 Claudio Sacerdoti... Initial version. tree | commitdiff
2002-03-12 Claudio Sacerdoti... * Linking was still static for native compilation. tree | commitdiff
2002-03-08 Claudio Sacerdoti... loadDocumentFrom* and saveDocument interface changed tree | commitdiff
2002-03-06 Claudio Sacerdoti... -rpath used to record the path to use to search for... tree | commitdiff
2002-03-06 Claudio Sacerdoti... The .so file was not moved into the temporary installat... tree | commitdiff
2002-03-06 Claudio Sacerdoti... Dynamic loading of C code enabled. tree | commitdiff
2002-02-27 Claudio Sacerdoti... lablgnome.cm[x]a added to the META file. tree | commitdiff
2002-02-06 Claudio Sacerdoti... First commit toward 0.3.0. tree | commitdiff
2002-02-06 Claudio Sacerdoti... Until Garrigue puts a META file in lablgtk, we can... tree | commitdiff
2002-01-21 Stefano ZacchiroliBug fix: destdir for mlminidom installation is now... tree | commitdiff
2002-01-20 Stefano Zacchiroli- Vanity: added .... me to the copyright file as autho... tree | commitdiff
2002-01-20 Stefano Zacchiroli- Minor fix: includes upstream changelog only if it... tree | commitdiff
2002-01-20 Stefano ZacchiroliAdded "-destdir" argument to "ocamlfind install" in... tree | commitdiff
2002-01-20 Stefano ZacchiroliPorted to ocaml 3.04 (fixed problems with commuting... tree | commitdiff
2002-01-20 Stefano ZacchiroliUpgraded debian package for mlminidom 0.2.2 tree | commitdiff
2001-11-25 Stefano ZacchiroliSynced debian dir. tree | commitdiff
2001-11-19 Stefano ZacchiroliChanged version number to 0.2.1 tree | commitdiff
2001-11-16 Claudio Sacerdoti... Checks for mlminidom and lablgtk added. tree | commitdiff
2001-11-16 Claudio Sacerdoti... Some spourious files removed. tree | commitdiff
2001-11-16 Claudio Sacerdoti... ... tree | commitdiff
2001-11-16 Claudio Sacerdoti... .cvsignore improved tree | commitdiff
2001-11-15 Claudio Sacerdoti... Distribution improvements. tree | commitdiff
2001-11-15 Claudio Sacerdoti... Now automatically generated from Makefile.in tree | commitdiff
2001-11-15 Claudio Sacerdoti... No more used. tree | commitdiff
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version. tree | commitdiff
2001-11-14 Claudio Sacerdoti... Bug fixed tree | commitdiff
2001-11-14 Claudio Sacerdoti... Bug fixed: $< confused with $^ tree | commitdiff
2001-11-14 Claudio Sacerdoti... missing macro tree | commitdiff
2001-11-14 Claudio Sacerdoti... Small improvement. tree | commitdiff
2001-11-14 Claudio Sacerdoti... Simplification. tree | commitdiff
2001-11-13 Claudio Sacerdoti... 0.0.2 ==> 0.2.0 ;-) tree | commitdiff
2001-11-13 Claudio Sacerdoti... - Check for ocamlfind added. tree | commitdiff
2001-11-13 Claudio Sacerdoti... Unused variable removed. tree | commitdiff
2001-11-13 Claudio Sacerdoti... mlminidom 0.0.2 for minidom 0.1.3 tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.