]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2000-12-21 Claudio Sacerdoti... bug fixed
2000-12-21 Claudio Sacerdoti... configuration.xml autoconfigured
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured
2000-12-21 Claudio Sacerdoti... configuration.pl.in configured
2000-12-21 Claudio Sacerdoti... .cvsignore added
2000-12-21 Claudio Sacerdoti... Autoconf used
2000-12-21 Claudio Sacerdoti... All files previously in local/$i/helm moved in $i
2000-12-21 Claudio Sacerdoti... cvsignore added
2000-12-21 Claudio Sacerdoti... Using autoconf
2000-12-20 Claudio Sacerdoti... Now the gtk trees are lazily constructed.
2000-12-20 Claudio Sacerdoti... Code clean-up: only one procedure to create the gtk...
2000-12-20 Luca PadovaniModified Files:
2000-12-20 Claudio Sacerdoti... Initial
2000-12-20 Claudio Sacerdoti... Nothing important
2000-12-20 Claudio Sacerdoti... Initial
2000-12-20 Claudio Sacerdoti... initial
2000-12-20 Claudio Sacerdoti... uwobo added
2000-12-20 Claudio Sacerdoti... xaland-uwobo created
2000-12-20 Luca Padovani*** empty log message ***
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created
2000-12-20 Luca PadovaniInitial revision
2000-12-19 Luca PadovaniModified Files:
2000-12-19 Luca PadovaniAdded Files (these are configuration files for the...
2000-12-18 Claudio Sacerdoti... Performance improvements using the sort attribute
2000-12-18 Claudio Sacerdoti... Some spaces at the content level eliminated.
2000-12-18 Claudio Sacerdoti... Performance improvements and bug fixed
2000-12-15 Luca Padovaniminidom-0.1.0-plain-1.spec: package linked without...
2000-12-14 Claudio Sacerdoti... Bug fixed
2000-12-14 Claudio Sacerdoti... Some optimizations using the "sort" attribute.
2000-12-13 Claudio Sacerdoti... Few modifications required each time to make interface...
2000-12-13 Claudio Sacerdoti... Now mywget is used instead of wget. mywget is a wrapper...
2000-12-12 Claudio Sacerdoti... Script to start http-getter at boot time.
2000-12-07 Claudio Sacerdoti... Another contribution. But this one does not work
2000-12-07 Claudio Sacerdoti... .cvsignore files added
2000-12-07 Claudio Sacerdoti... Many files added. Symbolic links missing. examples...
2000-12-07 Claudio Sacerdoti... forall csymbol added
2000-12-07 Claudio Sacerdoti... External entity inclusion fixed
2000-12-07 Claudio Sacerdoti... Attribute type added to PROD
2000-12-06 Claudio Sacerdoti... Now lablgtk dir is automatically found
2000-12-06 Claudio Sacerdoti... gtkmathview/gtkmathview.h => gtkmathview.h
2000-12-04 Claudio Sacerdoti... xref and href added to m:ci containing presentation...
2000-12-04 Claudio Sacerdoti... First very partial implementation of LetIn and bodyed...
2000-12-04 Claudio Sacerdoti... not simbol is now the logical one
2000-12-04 Claudio Sacerdoti... Updated to V7 after V6-2 tag creation
2000-12-04 Claudio Sacerdoti... Update to V7 after V6-2 tag creationg
2000-12-01 Claudio Sacerdoti... during update, asks the perl getter to update too
2000-12-01 Claudio Sacerdoti... update method added; now returns NOT_FOUND if the docum...
2000-12-01 Luca Padovanilablgtk_20001129-0.1.0-1.spec : every file specified
2000-12-01 Claudio Sacerdoti... Minor modifications
2000-12-01 Luca PadovaniInitial revision
2000-12-01 Luca Padovanimmlinterface.ml : updated to the new binding
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 Claudio Sacerdoti... DTD for inner types of V6.2 created
2000-11-30 Claudio Sacerdoti... Upgraded to mml-widget version 0.2.1
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-29 Claudio Sacerdoti... Makefile now uses gtkmathview-config
2000-11-29 Irene SchenaModified Files:
2000-11-29 Irene SchenaModified Files:
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... xaland that uses DOM created, but seems to be bugged...
2000-11-27 Claudio Sacerdoti... gtkmathview-config now more used
2000-11-24 Luca Padovanimkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm...
2000-11-24 Luca Padovanigetheader.xml setheader.xsl : fix del bug bruttissimo
2000-11-24 Luca PadovaniModified Files:
2000-11-24 Luca PadovaniModified Files:
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch
2000-11-23 Claudio Sacerdoti... Bug fixew
2000-11-22 Claudio Sacerdoti... Other cleanings in the repository
2000-11-22 Claudio Sacerdoti... Many cleanings in the repository
2000-11-22 Claudio Sacerdoti... Two javacores where in the repository: removed
2000-11-22 Claudio Sacerdoti... Some improvements in the settings window
2000-11-22 Irene SchenaModified Files:
2000-11-22 Claudio Sacerdoti... Some bug fixed
2000-11-22 Claudio Sacerdoti... Inserted msqrt to mark where to do some modifications
2000-11-20 Luca PadovaniDon't use configuration.pl any more (does it work anyway?)
2000-11-20 Luca PadovaniAdded Files (for webeq):
2000-11-20 Luca PadovaniInitial revision
2000-11-20 Luca Padovanilocal/etc/helm/configuration.xml: changed xmlfile ...
2000-11-17 Claudio Sacerdoti... install improved
2000-11-17 Claudio Sacerdoti... Nothing important
2000-11-17 Claudio Sacerdoti... I don't know
2000-11-17 Claudio Sacerdoti... Some bugs fixed
2000-11-17 Claudio Sacerdoti... cadet, isterix changed
2000-11-17 Claudio Sacerdoti... Nothing important
2000-11-17 Claudio Sacerdoti... Initial revision
2000-11-17 Claudio Sacerdoti... Nothing important.
2000-11-17 Claudio Sacerdoti... Two links were missing
2000-11-17 Claudio Sacerdoti... xaland-* moved in xsltd repository
2000-11-17 Claudio Sacerdoti... Initial revision
next