]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Used for files where annotations are availables
2001-03-16 Claudio Sacerdoti... Used for files where annotations are availables
 commit | commitdiff | tree
2001-03-16 Claudio Sacerdoti... annotations now taken in account (as was for naturalLanguage)
 commit | commitdiff | tree
2001-03-14 Claudio Sacerdoti... Syntax error + new indenting
 commit | commitdiff | tree
2001-03-14 Claudio Sacerdoti... Configuration on-line now pass the parameters
 commit | commitdiff | tree
2001-03-12 Claudio Sacerdoti... Last update before dismission
 commit | commitdiff | tree
2001-03-07 Claudio Sacerdoti... processorURL must now already end with a /
 commit | commitdiff | tree
2001-03-07 Claudio Sacerdoti... Now the on-line interface can use a Getter and an UWOBO...
commit | commitdiff | tree
2001-03-07 Claudio Sacerdoti... Bug fixed: now propagates informations about inner...
commit | commitdiff | tree
2001-03-06 Claudio Sacerdoti... getter flags considered
 commit | commitdiff | tree
2001-03-06 Claudio Sacerdoti... library3 ==> javascript
 commit | commitdiff | tree
2001-03-06 Claudio Sacerdoti... New on-line interface
 commit | commitdiff | tree
2001-03-06 Claudio Sacerdoti... New online interface
 commit | commitdiff | tree
2001-03-06 Claudio Sacerdoti... The .types files are now read directly by the stylesheets.
 commit | commitdiff | tree
2001-03-06 Claudio Sacerdoti... Now uses the param keys
 commit | commitdiff | tree
2001-03-01 Claudio Sacerdoti... WebEQ definitely no more used
 commit | commitdiff | tree
2001-02-06 Claudio Sacerdoti... No more used and soon no more working due to changes...
commit | commitdiff | tree
2001-02-05 Claudio Sacerdoti... Dynamic patch to transform the URL returned by $d-...
commit | commitdiff | tree
2001-02-05 Claudio Sacerdoti... Done for URLs for DTDs the same thing previously done...
commit | commitdiff | tree
2001-02-05 Claudio Sacerdoti... Relative URL now used again
 commit | commitdiff | tree
2001-02-05 Claudio Sacerdoti... When downloading stylesheets, substitutes all relative...
commit | commitdiff | tree
2001-02-02 Claudio Sacerdoti... HELM_DTD_DIR now also used
 commit | commitdiff | tree
2001-02-02 Claudio Sacerdoti... getxslt added
 commit | commitdiff | tree
2001-02-01 Claudio Sacerdoti... helm_http_getter.spec added
 commit | commitdiff | tree
2000-12-29 Claudio Sacerdoti... MIME-BASE64 => MIME-Base64
 commit | commitdiff | tree
2000-12-29 Claudio Sacerdoti... syntax error
 commit | commitdiff | tree
2000-12-29 Claudio Sacerdoti... Initial revision
 commit | commitdiff | tree
2000-12-29 Claudio Sacerdoti... Some Requires were missing; the same checks are still...
commit | commitdiff | tree
2000-12-29 Claudio Sacerdoti... Some Requires were missing. Same checks still missing...
commit | commitdiff | tree
2000-12-29 Claudio Sacerdoti... now servers.txt and urls_or_uris.db are 666
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... helm_wget is now executable
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... mywget => helm_wget
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... mywget renamed in helm_wget; autoconf used for helm_wget
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... configuration.ml moved to configuration.ml.in to use...
commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Autoconf now used
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.in to use autoconf
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... shared => share
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... syntax error fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Requires updated
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... first changes to make autoconf work
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... autoconf now used
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.old and start-xaland created.
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... syntax error
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... bug fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... syntax error fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... http_getter.pl is now executable
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... http_getter.pl is now created executable
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... autoconf now used
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Provides and Requires now fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Requires and Provides now fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Only .xsl files in style are now copied
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... bug fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... english syntax error fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... .cvsignore file added
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... First files added
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... More tags
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... configure.cache.* corrected into config.cache.*
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... Default configure cache for creating packages created
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... First changes to make the rpm package
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... 1777 (1 = sticky bit) for the library dir
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... bug fixed
 commit | commitdiff | tree
2000-12-28 Claudio Sacerdoti... More cleaning in distclean
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... install file removed
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... cache usage fixed
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... urls_of_uris.db is now empty
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... library files added
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... distclean target added
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2000-12-22 Claudio Sacerdoti... Some advancements
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... gtkmathview-config used
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... bug fixed
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... configuration.xml autoconfigured
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... configuration.pl.in configured
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... .cvsignore added
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... Autoconf used
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... All files previously in local/$i/helm moved in $i
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... cvsignore added
 commit | commitdiff | tree
2000-12-21 Claudio Sacerdoti... Using autoconf
 commit | commitdiff | tree
2000-12-20 Claudio Sacerdoti... Now the gtk trees are lazily constructed.
 commit | commitdiff | tree
2000-12-20 Claudio Sacerdoti... Code clean-up: only one procedure to create the gtk...
commit | commitdiff | tree
2000-12-20 Claudio Sacerdoti... Initial
 commit | commitdiff | tree
2000-12-20 Claudio Sacerdoti... Nothing important
 commit | commitdiff | tree
2000-12-20 Claudio Sacerdoti... Initial
 commit | commitdiff | tree
2000-12-20 Claudio Sacerdoti... initial
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.