]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2001-03-16 Claudio Sacerdoti... Files with annotations available now use a different...
2001-03-16 Claudio Sacerdoti... Used for files where annotations are availables
2001-03-16 Claudio Sacerdoti... annotations now taken in account (as was for naturalLan...
2001-03-16 Stefano ZacchiroliFixed bug in .ann extension handling.
2001-03-14 Claudio Sacerdoti... Syntax error + new indenting
2001-03-14 Claudio Sacerdoti... Configuration on-line now pass the parameters
2001-03-13 Luca PadovaniInitial revision
2001-03-12 Claudio Sacerdoti... Last update before dismission
2001-03-10 Stefano ZacchiroliAdded dtd reference in ls method while generating xml...
2001-03-09 Irene SchenaModified Files:
2001-03-09 Irene SchenaModified Files:
2001-03-08 Luca Padovanithe version command has been renamed into help, the...
2001-03-07 Claudio Sacerdoti... processorURL must now already end with a /
2001-03-07 Claudio Sacerdoti... Now the on-line interface can use a Getter and an UWOBO...
2001-03-07 Claudio Sacerdoti... Bug fixed: now propagates informations about inner...
2001-03-07 Andrea Asperti*** empty log message ***
2001-03-06 Claudio Sacerdoti... getter flags considered
2001-03-06 Stefano ZacchiroliAdded ordering in ann and types flags
2001-03-06 Claudio Sacerdoti... library3 ==> javascript
2001-03-06 Claudio Sacerdoti... New on-line interface
2001-03-06 Claudio Sacerdoti... New online interface
2001-03-06 Claudio Sacerdoti... The .types files are now read directly by the stylesheets.
2001-03-06 Claudio Sacerdoti... Now uses the param keys
2001-03-05 Stefano Zacchirolinew version of ls,
2001-03-05 Andrea Aspertiadded eq_ind
2001-03-05 Stefano ZacchiroliFixed a bug in CGI creation, method "update" now work...
2001-03-01 Luca Padovanipatch for libxml2 new release
2001-03-01 Claudio Sacerdoti... WebEQ definitely no more used
2001-02-22 Stefano ZacchiroliChanged syntax for 'ls' method:
2001-02-22 Luca Padovanicommented processing instructions for Cocoon, we do...
2001-02-21 Luca Padovaninow do unescaping of incoming URI
2001-02-21 Luca Padovaniadded the patch on-the-fly for DTDs, fixed the script...
2001-02-20 Andrea AspertiNew stylesheets from content to html.
2001-02-17 Stefano ZacchiroliAdded 'ls' method: return a list of uri that begin...
2001-02-17 Stefano Zacchirolihelm_wget subroutine now use LWP module and doesn't...
2001-02-15 Luca Padovani*** empty log message ***
2001-02-15 Luca Padovani*** empty log message ***
2001-02-15 Luca Padovani*** empty log message ***
2001-02-15 Luca Padovania bug in the .spec.in :-))))
2001-02-15 Luca Padovaninew version to upgrade to libxml 2.3.0
2001-02-13 Luca Padovaniadded support for application-time parameters
2001-02-13 Luca Padovanisome improvement for parameters, configuration
2001-02-13 Luca Padovanitmpdir ==> tmp_dir, minor fixes waiting for the stable...
2001-02-12 Stefano ZacchiroliRemoved rebuilding of urls_of_uris.db on update user...
2001-02-12 Stefano Zacchirolimodified "update" request handling, now getter rebuild...
2001-02-12 Luca Padovaniadded encoding
2001-02-12 Luca Padovaniversion information
2001-02-12 Luca Padovaniadded comment about missing checks
2001-02-09 Luca PadovanixsltProcessorHTTP.ml : no temp file created,
2001-02-08 Luca Padovaniconfig/style-configuration.xml : a little mistake in...
2001-02-08 Luca Padovaniadded htlm_cvs_interface.spec
2001-02-08 Luca PadovaniA lot of changes to support the new UWOBO stylesheet...
2001-02-08 Luca Padovanistyles_dir is now style_dir
2001-02-08 Luca Padovaniadded style_dir in configuration file
2001-02-07 Andrea AspertiNew version of proof.xsl
2001-02-06 Luca Padovanisupport for dynamic retrieval of style configuration...
2001-02-06 Luca PadovaniSupport for automatic stylesheet configuration retrieva...
2001-02-06 Luca PadovaniInitial revision
2001-02-06 Luca Padovaniadded processor_url to configuration file
2001-02-06 Claudio Sacerdoti... No more used and soon no more working due to changes...
2001-02-06 Irene SchenaModified Files:
2001-02-06 Luca Padovanibug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR
2001-02-05 Claudio Sacerdoti... Dynamic patch to transform the URL returned by $d-...
2001-02-05 Claudio Sacerdoti... Done for URLs for DTDs the same thing previously done...
2001-02-05 Claudio Sacerdoti... Relative URL now used again
2001-02-05 Irene SchenaModified Files:
2001-02-05 Claudio Sacerdoti... When downloading stylesheets, substitutes all relative...
2001-02-03 Stefano ZacchiroliReindented some parts
2001-02-02 Claudio Sacerdoti... HELM_DTD_DIR now also used
2001-02-02 Claudio Sacerdoti... getxslt added
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-01 Claudio Sacerdoti... helm_http_getter.spec added
2001-01-31 Luca Padovanimmlextension.xsl : removed extra '>' at the end of...
2001-01-31 Stefano ZacchiroliAdded control on some "open" call (with 'or die ...')
2001-01-30 Luca Padovaniremoved debugging printf
2001-01-30 Luca PadovanixsltProcessor.ml : patched to work with UWOBO
2001-01-30 Stefano ZacchiroliAdded mixed cache support through HTTP_GETTER_CACHE_MOD...
2001-01-30 Luca Padovaniadded support for compressed files
2001-01-29 Luca Padovaniconfiguration improvements
2001-01-29 Luca Padovanisome improvements
2001-01-29 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovanisome adjustments to include files
2001-01-29 Luca Padovanilast update was a fake update!!!
2001-01-26 Irene SchenaModified Files:
2001-01-25 Andrea Aspertiex_ind treated similarly to exT_ind.
2001-01-25 Andrea AspertiExT_ind implemented.
2001-01-25 Luca Padovaniadded rm *.spec in Makefile.in
2001-01-25 Luca Padovaniconfiguration script improved
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk...
2001-01-24 Stefano ZacchiroliAdded debian dir for debian packaging
2001-01-23 Andrea Asperti- Bug due to overloading of csymbol letin fixed.
2001-01-22 Luca Padovanipatched configure.in for Debian (different location...
2001-01-22 Luca PadovaniRemoved Files:
next