]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/lablgtkmathview
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added detection of all ocaml related tools and directories
[helm.git] / helm / DEVEL / lablgtkmathview /
2002-08-28 Stefano Zacchirolidebian version "-8" tree | commitdiff
2002-08-28 Stefano Zacchiroliforward compatibility changes for ocaml 3.06 tree | commitdiff
2002-04-26 Claudio Sacerdoti... ... 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... * 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
2001-11-25 Stefano ZacchiroliSynced debian dir. 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... .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-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 Padovaniupdated the binding so that it works well with lablgtk... tree | commitdiff
2001-01-17 Luca Padovanithe spec file is now autoconfigured tree | commitdiff
2001-01-10 Luca PadovaniInitial revision tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.