]> 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
- Lemma added to the list of proof arguments
[helm.git] / helm / DEVEL / lablgtkmathview /
2003-07-12 Stefano Zacchirolidebian release 0.4.3-3 tree | commitdiff
2003-07-01 Stefano Zacchiroli- changed changelog author to me (to GPG sign the package) tree | commitdiff
2003-07-01 Claudio Sacerdoti... 0.4.3-2 tree | commitdiff
2003-07-01 Claudio Sacerdoti... 1. freeze/thaw added to reduce flickering due to select... tree | commitdiff
2003-07-01 Claudio Sacerdoti... gtkmathview-config and gdome-config no longer used tree | commitdiff
2003-06-19 Stefano Zacchirolifixed autoconf variable @@ vs $() tree | commitdiff
2003-06-19 Stefano Zacchirolidebian version 0.4.3 (maybe, not tested) tree | commitdiff
2003-06-19 Luca Padovani* removed *-config script invocations, now using pkg... tree | commitdiff
2003-06-19 Stefano Zacchirolibumped version to 0.4.3 tree | commitdiff
2003-03-12 Stefano Zacchirolidebian release 0.4.1-1 tree | commitdiff
2003-02-21 Luca Padovani* click signal changed: now the element argument is... tree | commitdiff
2003-02-14 Luca Padovani* removed memory leak (maybe) tree | commitdiff
2003-02-12 Luca Padovani* bind of method get_drawing_area tree | commitdiff
2003-01-29 Luca Padovani* some small bug fixes tree | commitdiff
2003-01-29 Luca Padovani* implemented a more efficient selection to avoid flick... tree | commitdiff
2003-01-28 Luca Padovani* added refs to the pointers passed on the signal handl... tree | commitdiff
2003-01-27 Luca Padovani* binding update to recognize the new event scheme... tree | commitdiff
2003-01-25 Stefano Zacchirolibugfix: added some missing deps tree | commitdiff
2003-01-24 Stefano Zacchirolidebian release 0.3.99-1 tree | commitdiff
2003-01-24 Stefano Zacchirolichanged version number to 0.3.99 tree | commitdiff
2003-01-24 Stefano Zacchiroliadded warning comment about using unstable stuff tree | commitdiff
2003-01-24 Stefano Zacchiroli- create also libxxx.so symlink in ocaml stublibs directory tree | commitdiff
2003-01-23 Luca Padovani* restored binding with gtkmathview 0.4.0 tree | commitdiff
2003-01-21 Stefano Zacchirolibinding to gtkmathview 0.3.1 tree | commitdiff
2003-01-07 Stefano Zacchirolidebian release 0.3.0-10 tree | commitdiff
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.