]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
styles_dir is now style_dir
[helm.git] / helm /
2001-02-08 Luca Padovanistyles_dir is now style_dir tree | commitdiff
2001-02-08 Luca Padovaniadded style_dir in configuration file tree | commitdiff
2001-02-07 Andrea AspertiNew version of proof.xsl tree | commitdiff
2001-02-06 Luca Padovanisupport for dynamic retrieval of style configuration... tree | commitdiff
2001-02-06 Luca PadovaniSupport for automatic stylesheet configuration retrieva... tree | commitdiff
2001-02-06 Luca PadovaniInitial revision tree | commitdiff
2001-02-06 Luca Padovaniadded processor_url to configuration file tree | commitdiff
2001-02-06 Claudio Sacerdoti... No more used and soon no more working due to changes... tree | commitdiff
2001-02-06 Irene SchenaModified Files: tree | commitdiff
2001-02-06 Luca Padovanibug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR tree | commitdiff
2001-02-05 Claudio Sacerdoti... Dynamic patch to transform the URL returned by $d-... tree | commitdiff
2001-02-05 Claudio Sacerdoti... Done for URLs for DTDs the same thing previously done... tree | commitdiff
2001-02-05 Claudio Sacerdoti... Relative URL now used again tree | commitdiff
2001-02-05 Irene SchenaModified Files: tree | commitdiff
2001-02-05 Claudio Sacerdoti... When downloading stylesheets, substitutes all relative... tree | commitdiff
2001-02-03 Stefano ZacchiroliReindented some parts tree | commitdiff
2001-02-02 Claudio Sacerdoti... HELM_DTD_DIR now also used tree | commitdiff
2001-02-02 Claudio Sacerdoti... getxslt added tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-01 Claudio Sacerdoti... helm_http_getter.spec added tree | commitdiff
2001-01-31 Luca Padovanimmlextension.xsl : removed extra '>' at the end of... tree | commitdiff
2001-01-31 Stefano ZacchiroliAdded control on some "open" call (with 'or die ...') tree | commitdiff
2001-01-30 Luca Padovaniremoved debugging printf tree | commitdiff
2001-01-30 Luca PadovanixsltProcessor.ml : patched to work with UWOBO tree | commitdiff
2001-01-30 Stefano ZacchiroliAdded mixed cache support through HTTP_GETTER_CACHE_MOD... tree | commitdiff
2001-01-30 Luca Padovaniadded support for compressed files tree | commitdiff
2001-01-29 Luca Padovaniconfiguration improvements tree | commitdiff
2001-01-29 Luca Padovanisome improvements tree | commitdiff
2001-01-29 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-29 Luca Padovanisome adjustments to include files tree | commitdiff
2001-01-29 Luca Padovanilast update was a fake update!!! tree | commitdiff
2001-01-26 Irene SchenaModified Files: tree | commitdiff
2001-01-25 Andrea Aspertiex_ind treated similarly to exT_ind. tree | commitdiff
2001-01-25 Andrea AspertiExT_ind implemented. tree | commitdiff
2001-01-25 Luca Padovaniadded rm *.spec in Makefile.in tree | commitdiff
2001-01-25 Luca Padovaniconfiguration script improved tree | commitdiff
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk... tree | commitdiff
2001-01-24 Stefano ZacchiroliAdded debian dir for debian packaging tree | commitdiff
2001-01-23 Andrea Asperti- Bug due to overloading of csymbol letin fixed. tree | commitdiff
2001-01-22 Luca Padovanipatched configure.in for Debian (different location... tree | commitdiff
2001-01-22 Luca PadovaniRemoved Files: tree | commitdiff
2001-01-22 Luca PadovaniRemoved Files: tree | commitdiff
2001-01-19 Luca Padovaniconfigure.in : check for perl tree | commitdiff
2001-01-19 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-19 Luca Padovani0.0.2 tree | commitdiff
2001-01-19 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-19 Luca Padovanimissed conflict resolved, merge tree | commitdiff
2001-01-18 Luca PadovaniAdded Files: tree | commitdiff
2001-01-18 Stefano ZacchiroliAdded perl modules check tree | commitdiff
2001-01-17 Luca Padovaniimproved autoconfiguration tree | commitdiff
2001-01-17 Luca Padovaniisterix? tree | commitdiff
2001-01-17 Luca Padovaniimproved autoconfiguration (well, maybe) tree | commitdiff
2001-01-17 Luca Padovaniimproved autoconfiguration and other small fixes, this... tree | commitdiff
2001-01-17 Luca Padovaniautoconfiguration improved (well, maybe) tree | commitdiff
2001-01-17 Luca Padovaniautoconfiguration improved (?) tree | commitdiff
2001-01-17 Luca Padovanithe spec file is now autoconfigured tree | commitdiff
2001-01-17 Luca Padovanithe spec file is not autoconfigured tree | commitdiff
2001-01-17 Irene SchenaModified Files: tree | commitdiff
2001-01-17 Irene SchenaModified Files: tree | commitdiff
2001-01-15 Luca Padovaniadded LICENSE files to be included in the HELM sources tree | commitdiff
2001-01-15 Luca PadovaniLICENSE added tree | commitdiff
2001-01-15 Stefano ZacchiroliAdded preliminary support for gzipped library tree | commitdiff
2001-01-15 Luca Padovaniadded LICENSE tree | commitdiff
2001-01-15 Luca Padovaniadded LICENSE files tree | commitdiff
2001-01-10 Luca PadovaniMakefile.in: improved support for autoconf tree | commitdiff
2001-01-10 Luca PadovaniInitial revision tree | commitdiff
2001-01-10 Luca PadovaniInitial revision tree | commitdiff
2001-01-08 Luca Padovani*** empty log message *** tree | commitdiff
2000-12-29 Claudio Sacerdoti... MIME-BASE64 => MIME-Base64 tree | commitdiff
2000-12-29 Claudio Sacerdoti... syntax error tree | commitdiff
2000-12-29 Claudio Sacerdoti... Initial revision tree | commitdiff
2000-12-29 Claudio Sacerdoti... Some Requires were missing; the same checks are still... tree | commitdiff
2000-12-29 Claudio Sacerdoti... Some Requires were missing. Same checks still missing... tree | commitdiff
2000-12-29 Claudio Sacerdoti... now servers.txt and urls_or_uris.db are 666 tree | commitdiff
2000-12-28 Claudio Sacerdoti... helm_wget is now executable tree | commitdiff
2000-12-28 Claudio Sacerdoti... mywget => helm_wget tree | commitdiff
2000-12-28 Claudio Sacerdoti... mywget renamed in helm_wget; autoconf used for helm_wget tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... configuration.ml moved to configuration.ml.in to use... tree | commitdiff
2000-12-28 Claudio Sacerdoti... Autoconf now used tree | commitdiff
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.in to use autoconf tree | commitdiff
2000-12-28 Claudio Sacerdoti... shared => share tree | commitdiff
2000-12-28 Claudio Sacerdoti... syntax error fixed tree | commitdiff
2000-12-28 Claudio Sacerdoti... Requires updated tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... first changes to make autoconf work tree | commitdiff
2000-12-28 Claudio Sacerdoti... autoconf now used tree | commitdiff
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.old and start-xaland created. tree | commitdiff
2000-12-28 Claudio Sacerdoti... syntax error tree | commitdiff
2000-12-28 Claudio Sacerdoti... bug fixed tree | commitdiff
2000-12-28 Claudio Sacerdoti... syntax error fixed tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.