]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
last update was a fake update!!!
2001-01-29 Luca Padovanilast update was a fake update!!!
 commit | commitdiff | tree
2001-01-25 Luca Padovaniadded rm *.spec in Makefile.in
 commit | commitdiff | tree
2001-01-25 Luca Padovaniconfiguration script improved
 commit | commitdiff | tree
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk...
commit | commitdiff | tree
2001-01-22 Luca Padovanipatched configure.in for Debian (different location...
commit | commitdiff | tree
2001-01-22 Luca PadovaniRemoved Files:
 commit | commitdiff | tree
2001-01-22 Luca PadovaniRemoved Files:
 commit | commitdiff | tree
2001-01-19 Luca Padovaniconfigure.in : check for perl
 commit | commitdiff | tree
2001-01-19 Luca Padovani*** empty log message ***
 commit | commitdiff | tree
2001-01-19 Luca Padovani0.0.2
 commit | commitdiff | tree
2001-01-19 Luca Padovani*** empty log message ***
 commit | commitdiff | tree
2001-01-19 Luca Padovanimissed conflict resolved, merge
 commit | commitdiff | tree
2001-01-18 Luca PadovaniAdded Files:
 commit | commitdiff | tree
2001-01-17 Luca Padovaniimproved autoconfiguration
 commit | commitdiff | tree
2001-01-17 Luca Padovaniisterix?
 commit | commitdiff | tree
2001-01-17 Luca Padovaniimproved autoconfiguration (well, maybe)
 commit | commitdiff | tree
2001-01-17 Luca Padovaniimproved autoconfiguration and other small fixes, this...
commit | commitdiff | tree
2001-01-17 Luca Padovaniautoconfiguration improved (well, maybe)
 commit | commitdiff | tree
2001-01-17 Luca Padovaniautoconfiguration improved (?)
 commit | commitdiff | tree
2001-01-17 Luca Padovanithe spec file is now autoconfigured
 commit | commitdiff | tree
2001-01-17 Luca Padovanithe spec file is not autoconfigured
 commit | commitdiff | tree
2001-01-15 Luca Padovaniadded LICENSE files to be included in the HELM sources
 commit | commitdiff | tree
2001-01-15 Luca PadovaniLICENSE added
 commit | commitdiff | tree
2001-01-15 Luca Padovaniadded LICENSE
 commit | commitdiff | tree
2001-01-15 Luca Padovaniadded LICENSE files
 commit | commitdiff | tree
2001-01-10 Luca PadovaniMakefile.in: improved support for autoconf
 commit | commitdiff | tree
2001-01-10 Luca PadovaniInitial revision
 commit | commitdiff | tree
2001-01-10 Luca PadovaniInitial revision
 commit | commitdiff | tree
2001-01-08 Luca Padovani*** empty log message ***
 commit | commitdiff | tree
2000-12-20 Luca PadovaniModified Files:
 commit | commitdiff | tree
2000-12-20 Luca Padovani*** empty log message ***
 commit | commitdiff | tree
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created
 commit | commitdiff | tree
2000-12-20 Luca PadovaniInitial revision
 commit | commitdiff | tree
2000-12-19 Luca PadovaniModified Files:
 commit | commitdiff | tree
2000-12-19 Luca PadovaniAdded Files (these are configuration files for the...
commit | commitdiff | tree
2000-12-15 Luca Padovaniminidom-0.1.0-plain-1.spec: package linked without...
commit | commitdiff | tree
2000-12-01 Luca Padovanilablgtk_20001129-0.1.0-1.spec : every file specified
 commit | commitdiff | tree
2000-12-01 Luca PadovaniInitial revision
 commit | commitdiff | tree
2000-12-01 Luca Padovanimmlinterface.ml : updated to the new binding
 commit | commitdiff | tree
2000-11-30 Luca Padovaniminidom/Makefile: missing $(INST) variable for non...
commit | commitdiff | tree
2000-11-30 Luca Padovanitest/test.ml: added a call to reset_selection
 commit | commitdiff | tree
2000-11-30 Luca Padovani*** empty log message ***
 commit | commitdiff | tree
2000-11-30 Luca PadovaniInitial revision
 commit | commitdiff | tree
2000-11-28 Luca Padovani*** empty log message ***
 commit | commitdiff | tree
2000-11-28 Luca PadovaniAdded Files:
 commit | commitdiff | tree
2000-11-28 Luca PadovaniInitial revision
 commit | commitdiff | tree
2000-11-24 Luca Padovanimkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm...
commit | commitdiff | tree
2000-11-24 Luca Padovanigetheader.xml setheader.xsl : fix del bug bruttissimo
 commit | commitdiff | tree
2000-11-24 Luca PadovaniModified Files:
 commit | commitdiff | tree
2000-11-24 Luca PadovaniModified Files:
 commit | commitdiff | tree
2000-11-20 Luca PadovaniDon't use configuration.pl any more (does it work anyway?)
 commit | commitdiff | tree
2000-11-20 Luca PadovaniAdded Files (for webeq):
 commit | commitdiff | tree
2000-11-20 Luca PadovaniInitial revision
 commit | commitdiff | tree
2000-11-20 Luca Padovanilocal/etc/helm/configuration.xml: changed xmlfile ...
commit | commitdiff | tree
2000-11-17 Luca PadovaniInitial revision
 commit | commitdiff | tree
2000-11-17 Luca PadovaniInitial revision
 commit | commitdiff | tree
2000-11-08 Luca Padovani*** empty log message ***
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.