| 2001-04-05 |
Ferruccio Guidi | contentlib.xsl improved, now handles eq eqT |
tree | commitdiff |
| 2001-04-05 |
Andrea Asperti | Bug nat_double_ind solved. |
tree | commitdiff |
| 2001-04-04 |
Claudio Sacerdoti... | Bug fixed: the result was declared as gzipped even... |
tree | commitdiff |
| 2001-04-04 |
Claudio Sacerdoti... | Improved rendering for rewriting steps: a little indent... |
tree | commitdiff |
| 2001-04-04 |
Claudio Sacerdoti... | pure ==> proof_transform for the "by" part of rewriting |
tree | commitdiff |
| 2001-04-04 |
Claudio Sacerdoti... | pure ==> noannot in CASE's branches |
tree | commitdiff |
| 2001-04-04 |
Claudio Sacerdoti... | Big bug: & was not quoted in the URL for xmluri (that... |
tree | commitdiff |
| 2001-04-04 |
Ferruccio Guidi | fonts for lambda prod and forall enlarged |
tree | commitdiff |
| 2001-04-04 |
Ferruccio Guidi | characters in symbol font unified in size |
tree | commitdiff |
| 2001-04-03 |
Ferruccio Guidi | abstract polinomials |
tree | commitdiff |
| 2001-04-03 |
Ferruccio Guidi | added notations for abstact polinomials |
tree | commitdiff |
| 2001-04-03 |
Luca Padovani | added support for HELM_GETTER_URL environment variable |
tree | commitdiff |
| 2001-04-03 |
Luca Padovani | first steps towards new interface with UWOBo and new... |
tree | commitdiff |
| 2001-04-03 |
Luca Padovani | added gmon.out |
tree | commitdiff |
| 2001-04-03 |
Andrea Asperti | *** empty log message *** |
tree | commitdiff |
| 2001-04-03 |
Claudio Sacerdoti... | Line morally belonging to lablgtk/*.h now is there... |
tree | commitdiff |
| 2001-04-03 |
Andrea Asperti | Complete management of inductive types. |
tree | commitdiff |
| 2001-04-03 |
Claudio Sacerdoti... | Updated to lablgtk 1.2 and ocaml-3.01. |
tree | commitdiff |
| 2001-03-22 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-22 |
Claudio Sacerdoti... | Now links are followed even in theory + MathML Presentation |
tree | commitdiff |
| 2001-03-21 |
Claudio Sacerdoti... | headercontent.xsl added to have all the notational... |
tree | commitdiff |
| 2001-03-21 |
Claudio Sacerdoti... | patched_dtd => patch_dtd |
tree | commitdiff |
| 2001-03-21 |
Ferruccio Guidi | more notations added |
tree | commitdiff |
| 2001-03-20 |
Stefano Zacchiroli | - added support for file ls (i.e. you can use a baseuri... |
tree | commitdiff |
| 2001-03-20 |
Ferruccio Guidi | basic notations for arithmetics |
tree | commitdiff |
| 2001-03-20 |
Ferruccio Guidi | added notation for arithmetics |
tree | commitdiff |
| 2001-03-19 |
Claudio Sacerdoti... | Changes in raw mode interface |
tree | commitdiff |
| 2001-03-19 |
Claudio Sacerdoti... | Now uses the new stylesheets waterfall |
tree | commitdiff |
| 2001-03-19 |
Claudio Sacerdoti... | error: "iso8859-1" ==> "'iso8859-1'" |
tree | commitdiff |
| 2001-03-19 |
Claudio Sacerdoti... | makeURL() and related variables and parameters moved... |
tree | commitdiff |
| 2001-03-19 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-19 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-19 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-19 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-19 |
Claudio Sacerdoti... | getciconly ==> getxml |
tree | commitdiff |
| 2001-03-19 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-17 |
Stefano Zacchiroli | Added support for CGI handling, still remain some probl... |
tree | commitdiff |
| 2001-03-16 |
Claudio Sacerdoti... | getciconly ==> getxml |
tree | commitdiff |
| 2001-03-16 |
Stefano Zacchiroli | - renamed /getciconly in /getxml |
tree | commitdiff |
| 2001-03-16 |
Claudio Sacerdoti... | Annotations now working again (even if in a bit trickie... |
tree | commitdiff |
| 2001-03-16 |
Stefano Zacchiroli | Changed default content type from "text/plain" to ... |
tree | commitdiff |
| 2001-03-16 |
Stefano Zacchiroli | Various changes: |
tree | commitdiff |
| 2001-03-16 |
Claudio Sacerdoti... | Raw mode now really considers compressed/not compressed |
tree | commitdiff |
| 2001-03-16 |
Stefano Zacchiroli | Added "format" support to /getciconly method. |
tree | commitdiff |
| 2001-03-16 |
Claudio Sacerdoti... | Method get of the getter no more used. Replaced by... |
tree | commitdiff |
| 2001-03-16 |
Stefano Zacchiroli | ehm ... no comment |
tree | commitdiff |
| 2001-03-16 |
Stefano Zacchiroli | Fixed a bug in the case cachemode=gzipped, resourcetype... |
tree | commitdiff |
| 2001-03-16 |
Claudio Sacerdoti... | Files with annotations available now use a different... |
tree | commitdiff |
| 2001-03-16 |
Claudio Sacerdoti... | Used for files where annotations are availables |
tree | commitdiff |
| 2001-03-16 |
Claudio Sacerdoti... | annotations now taken in account (as was for naturalLan... |
tree | commitdiff |
| 2001-03-16 |
Stefano Zacchiroli | Fixed bug in .ann extension handling. |
tree | commitdiff |
| 2001-03-14 |
Claudio Sacerdoti... | Syntax error + new indenting |
tree | commitdiff |
| 2001-03-14 |
Claudio Sacerdoti... | Configuration on-line now pass the parameters |
tree | commitdiff |
| 2001-03-13 |
Luca Padovani | Initial revision |
tree | commitdiff |
| 2001-03-12 |
Claudio Sacerdoti... | Last update before dismission |
tree | commitdiff |
| 2001-03-10 |
Stefano Zacchiroli | Added dtd reference in ls method while generating xml... |
tree | commitdiff |
| 2001-03-09 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-09 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2001-03-08 |
Luca Padovani | the version command has been renamed into help, the... |
tree | commitdiff |
| 2001-03-07 |
Claudio Sacerdoti... | processorURL must now already end with a / |
tree | commitdiff |
| 2001-03-07 |
Claudio Sacerdoti... | Now the on-line interface can use a Getter and an UWOBO... |
tree | commitdiff |
| 2001-03-07 |
Claudio Sacerdoti... | Bug fixed: now propagates informations about inner... |
tree | commitdiff |
| 2001-03-07 |
Andrea Asperti | *** empty log message *** |
tree | commitdiff |
| 2001-03-06 |
Claudio Sacerdoti... | getter flags considered |
tree | commitdiff |
| 2001-03-06 |
Stefano Zacchiroli | Added ordering in ann and types flags |
tree | commitdiff |
| 2001-03-06 |
Claudio Sacerdoti... | library3 ==> javascript |
tree | commitdiff |
| 2001-03-06 |
Claudio Sacerdoti... | New on-line interface |
tree | commitdiff |
| 2001-03-06 |
Claudio Sacerdoti... | New online interface |
tree | commitdiff |
| 2001-03-06 |
Claudio Sacerdoti... | The .types files are now read directly by the stylesheets. |
tree | commitdiff |
| 2001-03-06 |
Claudio Sacerdoti... | Now uses the param keys |
tree | commitdiff |
| 2001-03-05 |
Stefano Zacchiroli | new version of ls, |
tree | commitdiff |
| 2001-03-05 |
Andrea Asperti | added eq_ind |
tree | commitdiff |
| 2001-03-05 |
Stefano Zacchiroli | Fixed a bug in CGI creation, method "update" now work... |
tree | commitdiff |
| 2001-03-01 |
Luca Padovani | patch for libxml2 new release |
tree | commitdiff |
| 2001-03-01 |
Claudio Sacerdoti... | WebEQ definitely no more used |
tree | commitdiff |
| 2001-02-22 |
Stefano Zacchiroli | Changed syntax for 'ls' method: |
tree | commitdiff |
| 2001-02-22 |
Luca Padovani | commented processing instructions for Cocoon, we do... |
tree | commitdiff |
| 2001-02-21 |
Luca Padovani | now do unescaping of incoming URI |
tree | commitdiff |
| 2001-02-21 |
Luca Padovani | added the patch on-the-fly for DTDs, fixed the script... |
tree | commitdiff |
| 2001-02-20 |
Andrea Asperti | New stylesheets from content to html. |
tree | commitdiff |
| 2001-02-17 |
Stefano Zacchiroli | Added 'ls' method: return a list of uri that begin... |
tree | commitdiff |
| 2001-02-17 |
Stefano Zacchiroli | helm_wget subroutine now use LWP module and doesn't... |
tree | commitdiff |
| 2001-02-15 |
Luca Padovani | *** empty log message *** |
tree | commitdiff |
| 2001-02-15 |
Luca Padovani | *** empty log message *** |
tree | commitdiff |
| 2001-02-15 |
Luca Padovani | *** empty log message *** |
tree | commitdiff |
| 2001-02-15 |
Luca Padovani | a bug in the .spec.in :-)))) |
tree | commitdiff |
| 2001-02-15 |
Luca Padovani | new version to upgrade to libxml 2.3.0 |
tree | commitdiff |
| 2001-02-13 |
Luca Padovani | added support for application-time parameters |
tree | commitdiff |
| 2001-02-13 |
Luca Padovani | some improvement for parameters, configuration |
tree | commitdiff |
| 2001-02-13 |
Luca Padovani | tmpdir ==> tmp_dir, minor fixes waiting for the stable... |
tree | commitdiff |
| 2001-02-12 |
Stefano Zacchiroli | Removed rebuilding of urls_of_uris.db on update user... |
tree | commitdiff |
| 2001-02-12 |
Stefano Zacchiroli | modified "update" request handling, now getter rebuild... |
tree | commitdiff |
| 2001-02-12 |
Luca Padovani | added encoding |
tree | commitdiff |
| 2001-02-12 |
Luca Padovani | version information |
tree | commitdiff |
| 2001-02-12 |
Luca Padovani | added comment about missing checks |
tree | commitdiff |
| 2001-02-09 |
Luca Padovani | xsltProcessorHTTP.ml : no temp file created, |
tree | commitdiff |
| 2001-02-08 |
Luca Padovani | config/style-configuration.xml : a little mistake in... |
tree | commitdiff |
| 2001-02-08 |
Luca Padovani | added htlm_cvs_interface.spec |
tree | commitdiff |
| 2001-02-08 |
Luca Padovani | A lot of changes to support the new UWOBO stylesheet... |
tree | commitdiff |
| 2001-02-08 |
Luca Padovani | styles_dir is now style_dir |
tree | commitdiff |
| next |
projects / helm.git / history