]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/lablgtkmathview
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtkmathview /
2005-11-23 Stefano Zacchiroliocaml 3.09 transition
2005-11-23 Stefano Zacchiroli0.7.2 version (ancient)
2005-07-31 Stefano Zacchirolipackaging cleanup: get rid of ancient debhelpers, use...
2005-07-31 Stefano Zacchiroliignore some autotools stuff
2005-07-31 Stefano Zacchirolilablgtkmathview 0.7.2
2005-07-26 Stefano Zacchiroliunreleased version of the bindings, with more gtkmathvi...
2005-07-08 Stefano Zacchiroliversion 0.7.1
2005-06-15 Stefano Zacchirolienable static linking of C stub code
2005-06-15 Stefano Zacchiroliversion 0.7.1-1
2005-06-15 Stefano Zacchiroli- better printing of modifiers
2005-06-13 Stefano Zacchiroli- new minor version
2005-06-13 Stefano Zacchirolimoved the annoying debugging print to test
2005-06-13 Stefano Zacchiroliported to lablgtk2 2.4.0+2005.06.13-1
2005-06-11 Stefano Zacchiroliocaml 3.08.3 commit
2005-03-25 Stefano Zacchirolidebian: rebuilt against ocaml 3.08.2
2004-11-10 Stefano Zacchirolibumped changelog line to match upload date
2004-09-29 Stefano Zacchirolibumped deps to 0.6.4
2004-09-29 Stefano Zacchirolibumped version to 0.6.4
2004-09-14 Luca Padovani* the click signal now acts on both maction (MathML...
2004-08-25 Stefano Zacchirolidebian version 0.6.3-2
2004-07-30 Luca Padovani* fixed bug of multiple selections
2004-07-29 Stefano Zacchiroli(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08
2004-07-27 Luca Padovani* update to version 0.6.4 of the widget
2004-01-23 Stefano Zacchiroliported to latest lablgtk2 snapshot
2004-01-22 Stefano Zacchiroli- removed some unneeded dependencies from debian/control
2003-10-13 Stefano Zacchirolidebian version 0.5.1-2
2003-10-13 Stefano Zacchirolidebian version 0.5.1-1
2003-10-07 Luca Padovani* added new .ml files to be ignored
2003-10-07 Luca Padovani* lablgtk -> lablgtk2
2003-10-07 Luca Padovani* removed debugging Printfs'
2003-10-06 Luca Padovani* minor fix
2003-10-06 Luca Padovani* removed spec file
2003-10-06 Luca Padovani* upgrade to lablgtk2
2003-10-06 Luca Padovani* checking for lablgtk2
2003-10-06 Luca Padovani* update dependency: lablgtk -> lablgtk2
2003-10-04 Stefano Zacchirolidebian package for ocaml 3.07
2003-07-12 Stefano Zacchirolidebian release 0.4.3-3
2003-07-01 Stefano Zacchiroli- changed changelog author to me (to GPG sign the package)
2003-07-01 Claudio Sacerdoti... 0.4.3-2
2003-07-01 Claudio Sacerdoti... 1. freeze/thaw added to reduce flickering due to select...
2003-07-01 Claudio Sacerdoti... gtkmathview-config and gdome-config no longer used
2003-06-19 Stefano Zacchirolifixed autoconf variable @@ vs $()
2003-06-19 Stefano Zacchirolidebian version 0.4.3 (maybe, not tested)
2003-06-19 Luca Padovani* removed *-config script invocations, now using pkg...
2003-06-19 Stefano Zacchirolibumped version to 0.4.3
2003-03-12 Stefano Zacchirolidebian release 0.4.1-1
2003-02-21 Luca Padovani* click signal changed: now the element argument is...
2003-02-14 Luca Padovani* removed memory leak (maybe)
2003-02-12 Luca Padovani* bind of method get_drawing_area
2003-01-29 Luca Padovani* some small bug fixes
2003-01-29 Luca Padovani* implemented a more efficient selection to avoid flick...
2003-01-28 Luca Padovani* added refs to the pointers passed on the signal handl...
2003-01-27 Luca Padovani* binding update to recognize the new event scheme...
2003-01-25 Stefano Zacchirolibugfix: added some missing deps
2003-01-24 Stefano Zacchirolidebian release 0.3.99-1
2003-01-24 Stefano Zacchirolichanged version number to 0.3.99
2003-01-24 Stefano Zacchiroliadded warning comment about using unstable stuff
2003-01-24 Stefano Zacchiroli- create also libxxx.so symlink in ocaml stublibs directory
2003-01-23 Luca Padovani* restored binding with gtkmathview 0.4.0
2003-01-21 Stefano Zacchirolibinding to gtkmathview 0.3.1
2003-01-07 Stefano Zacchirolidebian release 0.3.0-10
2002-08-28 Stefano Zacchirolidebian version "-8"
2002-08-28 Stefano Zacchiroliforward compatibility changes for ocaml 3.06
2002-04-26 Claudio Sacerdoti... ...
2002-04-12 Stefano Zacchiroli-7 debian release, hopefully build also on HPPA
2002-04-12 Stefano Zacchiroliadded -fPIC option when compiling ml_gtk_mathview.o
2002-04-02 Stefano ZacchiroliAdded Build-Depends on t1lib-dev
2002-04-01 Stefano ZacchiroliAdded build-depend on libgdome2-cpp-smart-dev.
2002-03-31 Stefano Zacchiroli- added some .mli and .ml to the debian package
2002-03-29 Claudio Sacerdoti... gMathView.mli added
2002-03-26 Stefano Zacchiroli- Increased debian version to 0.3.0-3
2002-03-26 Claudio Sacerdoti... The compilation of the test is restored.
2002-03-15 Stefano ZacchiroliAdded build dep on libgdome2-dev
2002-03-13 Stefano ZacchiroliDebian changes for version 0.3.0 of lablgtkmathview.
2002-03-12 Claudio Sacerdoti... * Linking was still static for native compilation.
2002-03-08 Claudio Sacerdoti... loadDocumentFrom* and saveDocument interface changed
2002-03-06 Claudio Sacerdoti... -rpath used to record the path to use to search for...
2002-03-06 Claudio Sacerdoti... The .so file was not moved into the temporary installat...
2002-03-06 Claudio Sacerdoti... Dynamic loading of C code enabled.
2002-02-27 Claudio Sacerdoti... lablgnome.cm[x]a added to the META file.
2002-02-06 Claudio Sacerdoti... First commit toward 0.3.0.
2002-02-06 Claudio Sacerdoti... Until Garrigue puts a META file in lablgtk, we can...
2001-11-25 Stefano ZacchiroliSynced debian dir.
2001-11-16 Claudio Sacerdoti... Checks for mlminidom and lablgtk added.
2001-11-16 Claudio Sacerdoti... Some spourious files removed.
2001-11-16 Claudio Sacerdoti... .cvsignore improved
2001-11-15 Claudio Sacerdoti... Distribution improvements.
2001-11-15 Claudio Sacerdoti... Now automatically generated from Makefile.in
2001-11-15 Claudio Sacerdoti... No more used.
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version.
2001-04-03 Claudio Sacerdoti... Line morally belonging to lablgtk/*.h now is there...
2001-04-03 Claudio Sacerdoti... Updated to lablgtk 1.2 and ocaml-3.01.
2001-02-02 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovanisome adjustments to include files
2001-01-29 Luca Padovanilast update was a fake update!!!
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk...
2001-01-17 Luca Padovanithe spec file is now autoconfigured
2001-01-10 Luca PadovaniInitial revision