]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL
Modified Files:
[helm.git] / helm / DEVEL /
2002-04-26 Claudio Sacerdoti... gdome_xslt ==> gdome2-xslt
2002-04-26 Claudio Sacerdoti... ...
2002-04-12 Stefano Zacchiroliadded debian stuff and a makefile with "dist" target
2002-04-12 Stefano Zacchirolichanged name to gdome2-xslt
2002-04-12 Stefano Zacchiroli- added -fPIC when creating .so
2002-04-12 Stefano Zacchirolichanged package name to gdome2-xslt
2002-04-12 Stefano Zacchirolicma names parameterized in configure @PACKAGE@ variable
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... Initial version.
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...
2002-01-21 Stefano ZacchiroliBug fix: destdir for mlminidom installation is now...
2002-01-20 Stefano Zacchiroli- Vanity: added .... me to the copyright file as autho...
2002-01-20 Stefano Zacchiroli- Minor fix: includes upstream changelog only if it...
2002-01-20 Stefano ZacchiroliAdded "-destdir" argument to "ocamlfind install" in...
2002-01-20 Stefano ZacchiroliPorted to ocaml 3.04 (fixed problems with commuting...
2002-01-20 Stefano ZacchiroliUpgraded debian package for mlminidom 0.2.2
2001-11-25 Stefano ZacchiroliSynced debian dir.
2001-11-19 Stefano ZacchiroliChanged version number to 0.2.1
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... ...
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-11-14 Claudio Sacerdoti... Bug fixed
2001-11-14 Claudio Sacerdoti... Bug fixed: $< confused with $^
2001-11-14 Claudio Sacerdoti... missing macro
2001-11-14 Claudio Sacerdoti... Small improvement.
2001-11-14 Claudio Sacerdoti... Simplification.
2001-11-13 Claudio Sacerdoti... 0.0.2 ==> 0.2.0 ;-)
2001-11-13 Claudio Sacerdoti... - Check for ocamlfind added.
2001-11-13 Claudio Sacerdoti... Unused variable removed.
2001-11-13 Claudio Sacerdoti... mlminidom 0.0.2 for minidom 0.1.3
2001-10-17 Stefano ZacchiroliMakefile.in that support some new architectures.
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 Padovaniconfiguration script improved
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk...
2001-01-22 Luca Padovanipatched configure.in for Debian (different location...
2001-01-17 Luca Padovanithe spec file is now autoconfigured
2001-01-17 Luca Padovanithe spec file is not autoconfigured
2001-01-10 Luca PadovaniInitial revision
2001-01-10 Luca PadovaniInitial revision
2000-12-20 Luca Padovani*** empty log message ***
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created
2000-12-20 Luca PadovaniInitial revision
2000-12-06 Claudio Sacerdoti... Now lablgtk dir is automatically found
2000-12-06 Claudio Sacerdoti... gtkmathview/gtkmathview.h => gtkmathview.h
2000-12-01 Luca Padovanilablgtk_20001129-0.1.0-1.spec : every file specified
2000-12-01 Luca PadovaniInitial revision
2000-12-01 Claudio Sacerdoti... lablgtk-20001129 added
2000-12-01 Claudio Sacerdoti... other files missing from 20001129
2000-12-01 Claudio Sacerdoti... other files missing in 20001129
2000-12-01 Claudio Sacerdoti... some files of 20001129 were missing
2000-12-01 Claudio Sacerdoti... lablgtk_20001129* created
2000-11-30 Luca Padovaniminidom/Makefile: missing $(INST) variable for non...
2000-11-30 Claudio Sacerdoti... ominidom.cmi not installed by Makefile
2000-11-30 Luca Padovanitest/test.ml: added a call to reset_selection
2000-11-30 Luca Padovani*** empty log message ***
2000-11-30 Luca PadovaniInitial revision
2000-11-28 Luca Padovani*** empty log message ***
2000-11-28 Luca PadovaniAdded Files:
2000-11-28 Luca PadovaniInitial revision
2000-11-27 Claudio Sacerdoti... gtkmathview-config now more used
2000-11-17 Luca PadovaniInitial revision
2000-11-17 Luca PadovaniInitial revision
2000-11-08 Claudio Sacerdoti... Installation fixed
2000-11-08 Claudio Sacerdoti... spec file forgot in previous commit
2000-11-08 Claudio Sacerdoti... Package specifications created
2000-11-08 Claudio Sacerdoti... Makefile acceptable. Ready to start packaging.
2000-11-08 Claudio Sacerdoti... Binding completed and tested. Makefile still to do.
2000-11-08 Luca Padovani*** empty log message ***
2000-11-08 Claudio Sacerdoti... Fixing the selections
2000-11-08 Claudio Sacerdoti... Some cleaning on the repository. .cvsignore added
2000-11-08 Claudio Sacerdoti... Test improved
2000-11-08 Claudio Sacerdoti... .cvsignore improved
2000-11-08 Claudio Sacerdoti... Many bug fixed and improvements in minidom.
2000-11-07 Claudio Sacerdoti... Test finished, but some bugs still remaining
next