]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
uwobo added
[helm.git] / helm /
2000-12-20 Claudio Sacerdoti... uwobo added tree | commitdiff
2000-12-20 Claudio Sacerdoti... xaland-uwobo created tree | commitdiff
2000-12-20 Luca Padovani*** empty log message *** tree | commitdiff
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created tree | commitdiff
2000-12-20 Luca PadovaniInitial revision tree | commitdiff
2000-12-19 Luca PadovaniModified Files: tree | commitdiff
2000-12-19 Luca PadovaniAdded Files (these are configuration files for the... tree | commitdiff
2000-12-18 Claudio Sacerdoti... Performance improvements using the sort attribute tree | commitdiff
2000-12-18 Claudio Sacerdoti... Some spaces at the content level eliminated. tree | commitdiff
2000-12-18 Claudio Sacerdoti... Performance improvements and bug fixed tree | commitdiff
2000-12-15 Luca Padovaniminidom-0.1.0-plain-1.spec: package linked without... tree | commitdiff
2000-12-14 Claudio Sacerdoti... Bug fixed tree | commitdiff
2000-12-14 Claudio Sacerdoti... Some optimizations using the "sort" attribute. tree | commitdiff
2000-12-13 Claudio Sacerdoti... Few modifications required each time to make interface... tree | commitdiff
2000-12-13 Claudio Sacerdoti... Now mywget is used instead of wget. mywget is a wrapper... tree | commitdiff
2000-12-12 Claudio Sacerdoti... Script to start http-getter at boot time. tree | commitdiff
2000-12-07 Claudio Sacerdoti... Another contribution. But this one does not work tree | commitdiff
2000-12-07 Claudio Sacerdoti... .cvsignore files added tree | commitdiff
2000-12-07 Claudio Sacerdoti... Many files added. Symbolic links missing. examples... tree | commitdiff
2000-12-07 Claudio Sacerdoti... forall csymbol added tree | commitdiff
2000-12-07 Claudio Sacerdoti... External entity inclusion fixed tree | commitdiff
2000-12-07 Claudio Sacerdoti... Attribute type added to PROD tree | commitdiff
2000-12-06 Claudio Sacerdoti... Now lablgtk dir is automatically found tree | commitdiff
2000-12-06 Claudio Sacerdoti... gtkmathview/gtkmathview.h => gtkmathview.h tree | commitdiff
2000-12-04 Claudio Sacerdoti... xref and href added to m:ci containing presentation... tree | commitdiff
2000-12-04 Claudio Sacerdoti... First very partial implementation of LetIn and bodyed... tree | commitdiff
2000-12-04 Claudio Sacerdoti... not simbol is now the logical one tree | commitdiff
2000-12-04 Claudio Sacerdoti... Updated to V7 after V6-2 tag creation tree | commitdiff
2000-12-04 Claudio Sacerdoti... Update to V7 after V6-2 tag creationg tree | commitdiff
2000-12-01 Claudio Sacerdoti... during update, asks the perl getter to update too tree | commitdiff
2000-12-01 Claudio Sacerdoti... update method added; now returns NOT_FOUND if the docum... tree | commitdiff
2000-12-01 Luca Padovanilablgtk_20001129-0.1.0-1.spec : every file specified tree | commitdiff
2000-12-01 Claudio Sacerdoti... Minor modifications tree | commitdiff
2000-12-01 Luca PadovaniInitial revision tree | commitdiff
2000-12-01 Luca Padovanimmlinterface.ml : updated to the new binding tree | commitdiff
2000-12-01 Claudio Sacerdoti... lablgtk-20001129 added tree | commitdiff
2000-12-01 Claudio Sacerdoti... other files missing from 20001129 tree | commitdiff
2000-12-01 Claudio Sacerdoti... other files missing in 20001129 tree | commitdiff
2000-12-01 Claudio Sacerdoti... some files of 20001129 were missing tree | commitdiff
2000-12-01 Claudio Sacerdoti... lablgtk_20001129* created tree | commitdiff
2000-11-30 Claudio Sacerdoti... DTD for inner types of V6.2 created tree | commitdiff
2000-11-30 Claudio Sacerdoti... Upgraded to mml-widget version 0.2.1 tree | commitdiff
2000-11-30 Luca Padovaniminidom/Makefile: missing $(INST) variable for non... tree | commitdiff
2000-11-30 Claudio Sacerdoti... ominidom.cmi not installed by Makefile tree | commitdiff
2000-11-30 Luca Padovanitest/test.ml: added a call to reset_selection tree | commitdiff
2000-11-30 Luca Padovani*** empty log message *** tree | commitdiff
2000-11-30 Luca PadovaniInitial revision tree | commitdiff
2000-11-29 Claudio Sacerdoti... Makefile now uses gtkmathview-config tree | commitdiff
2000-11-29 Irene SchenaModified Files: tree | commitdiff
2000-11-29 Irene SchenaModified Files: tree | commitdiff
2000-11-28 Luca Padovani*** empty log message *** tree | commitdiff
2000-11-28 Luca PadovaniAdded Files: tree | commitdiff
2000-11-28 Luca PadovaniInitial revision tree | commitdiff
2000-11-27 Claudio Sacerdoti... xaland that uses DOM created, but seems to be bugged... tree | commitdiff
2000-11-27 Claudio Sacerdoti... gtkmathview-config now more used tree | commitdiff
2000-11-24 Luca Padovanimkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm... tree | commitdiff
2000-11-24 Luca Padovanigetheader.xml setheader.xsl : fix del bug bruttissimo tree | commitdiff
2000-11-24 Luca PadovaniModified Files: tree | commitdiff
2000-11-24 Luca PadovaniModified Files: tree | commitdiff
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch tree | commitdiff
2000-11-23 Claudio Sacerdoti... Bug fixew tree | commitdiff
2000-11-22 Claudio Sacerdoti... Other cleanings in the repository tree | commitdiff
2000-11-22 Claudio Sacerdoti... Many cleanings in the repository tree | commitdiff
2000-11-22 Claudio Sacerdoti... Two javacores where in the repository: removed tree | commitdiff
2000-11-22 Claudio Sacerdoti... Some improvements in the settings window tree | commitdiff
2000-11-22 Irene SchenaModified Files: tree | commitdiff
2000-11-22 Claudio Sacerdoti... Some bug fixed tree | commitdiff
2000-11-22 Claudio Sacerdoti... Inserted msqrt to mark where to do some modifications tree | commitdiff
2000-11-20 Luca PadovaniDon't use configuration.pl any more (does it work anyway?) tree | commitdiff
2000-11-20 Luca PadovaniAdded Files (for webeq): tree | commitdiff
2000-11-20 Luca PadovaniInitial revision tree | commitdiff
2000-11-20 Luca Padovanilocal/etc/helm/configuration.xml: changed xmlfile ... tree | commitdiff
2000-11-17 Claudio Sacerdoti... install improved tree | commitdiff
2000-11-17 Claudio Sacerdoti... Nothing important tree | commitdiff
2000-11-17 Claudio Sacerdoti... I don't know tree | commitdiff
2000-11-17 Claudio Sacerdoti... Some bugs fixed tree | commitdiff
2000-11-17 Claudio Sacerdoti... cadet, isterix changed tree | commitdiff
2000-11-17 Claudio Sacerdoti... Nothing important tree | commitdiff
2000-11-17 Claudio Sacerdoti... Initial revision tree | commitdiff
2000-11-17 Claudio Sacerdoti... Nothing important. tree | commitdiff
2000-11-17 Claudio Sacerdoti... Two links were missing tree | commitdiff
2000-11-17 Claudio Sacerdoti... xaland-* moved in xsltd repository tree | commitdiff
2000-11-17 Claudio Sacerdoti... Initial revision tree | commitdiff
2000-11-17 Claudio Sacerdoti... http_getter moved in the http_getter repository tree | commitdiff
2000-11-17 Claudio Sacerdoti... http_getter.pl moved in the http_getter repository tree | commitdiff
2000-11-17 Claudio Sacerdoti... isterix file added tree | commitdiff
2000-11-17 Claudio Sacerdoti... Initial revision tree | commitdiff
2000-11-17 Luca PadovaniInitial revision tree | commitdiff
2000-11-17 Luca PadovaniInitial revision tree | commitdiff
2000-11-17 Irene SchenaModified Files: tree | commitdiff
2000-11-16 Claudio Sacerdoti... Another patch to the http_getter.ml. tree | commitdiff
2000-11-16 Claudio Sacerdoti... .cvsignore improved tree | commitdiff
2000-11-16 Claudio Sacerdoti... Some modularity added tree | commitdiff
2000-11-16 Claudio Sacerdoti... Library files removed from the repository tree | commitdiff
2000-11-16 Claudio Sacerdoti... Much more modularity and some buf fixed in http_getter.pl tree | commitdiff
2000-11-15 Claudio Sacerdoti... Some debug print removed tree | commitdiff
2000-11-15 Claudio Sacerdoti... Other patches to this file. It must be rewritten from... tree | commitdiff
2000-11-15 Claudio Sacerdoti... Very dangerous bug fond!!! tree | commitdiff
2000-11-10 Claudio Sacerdoti... Many bug fixed tree | commitdiff
2000-11-10 Claudio Sacerdoti... Now windows resize well (at least some of them) tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.