]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2001-04-05 Ferruccio Guidicontentlib.xsl improved, now handles eq eqT
2001-04-05 Andrea AspertiBug nat_double_ind solved.
2001-04-04 Claudio Sacerdoti... Bug fixed: the result was declared as gzipped even...
2001-04-04 Claudio Sacerdoti... Improved rendering for rewriting steps: a little indent...
2001-04-04 Claudio Sacerdoti... pure ==> proof_transform for the "by" part of rewriting
2001-04-04 Claudio Sacerdoti... pure ==> noannot in CASE's branches
2001-04-04 Claudio Sacerdoti... Big bug: & was not quoted in the URL for xmluri (that...
2001-04-04 Ferruccio Guidifonts for lambda prod and forall enlarged
2001-04-04 Ferruccio Guidicharacters in symbol font unified in size
2001-04-03 Ferruccio Guidiabstract polinomials
2001-04-03 Ferruccio Guidiadded notations for abstact polinomials
2001-04-03 Luca Padovaniadded support for HELM_GETTER_URL environment variable
2001-04-03 Luca Padovanifirst steps towards new interface with UWOBo and new...
2001-04-03 Luca Padovaniadded gmon.out
2001-04-03 Andrea Asperti*** empty log message ***
2001-04-03 Claudio Sacerdoti... Line morally belonging to lablgtk/*.h now is there...
2001-04-03 Andrea AspertiComplete management of inductive types.
2001-04-03 Claudio Sacerdoti... Updated to lablgtk 1.2 and ocaml-3.01.
2001-03-22 Irene SchenaModified Files:
2001-03-22 Claudio Sacerdoti... Now links are followed even in theory + MathML Presentation
2001-03-21 Claudio Sacerdoti... headercontent.xsl added to have all the notational...
2001-03-21 Claudio Sacerdoti... patched_dtd => patch_dtd
2001-03-21 Ferruccio Guidimore notations added
2001-03-20 Stefano Zacchiroli- added support for file ls (i.e. you can use a baseuri...
2001-03-20 Ferruccio Guidibasic notations for arithmetics
2001-03-20 Ferruccio Guidiadded notation for arithmetics
2001-03-19 Claudio Sacerdoti... Changes in raw mode interface
2001-03-19 Claudio Sacerdoti... Now uses the new stylesheets waterfall
2001-03-19 Claudio Sacerdoti... error: "iso8859-1" ==> "'iso8859-1'"
2001-03-19 Claudio Sacerdoti... makeURL() and related variables and parameters moved...
2001-03-19 Irene SchenaModified Files:
2001-03-19 Irene SchenaModified Files:
2001-03-19 Irene SchenaModified Files:
2001-03-19 Irene SchenaModified Files:
2001-03-19 Claudio Sacerdoti... getciconly ==> getxml
2001-03-19 Irene SchenaModified Files:
2001-03-17 Stefano ZacchiroliAdded support for CGI handling, still remain some probl...
2001-03-16 Claudio Sacerdoti... getciconly ==> getxml
2001-03-16 Stefano Zacchiroli- renamed /getciconly in /getxml
2001-03-16 Claudio Sacerdoti... Annotations now working again (even if in a bit trickie...
2001-03-16 Stefano ZacchiroliChanged default content type from "text/plain" to ...
2001-03-16 Stefano ZacchiroliVarious changes:
2001-03-16 Claudio Sacerdoti... Raw mode now really considers compressed/not compressed
2001-03-16 Stefano ZacchiroliAdded "format" support to /getciconly method.
2001-03-16 Claudio Sacerdoti... Method get of the getter no more used. Replaced by...
2001-03-16 Stefano Zacchiroliehm ... no comment
2001-03-16 Stefano ZacchiroliFixed a bug in the case cachemode=gzipped, resourcetype...
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
next