| 2001-05-09 |
Claudio Sacerdoti... | URIs containing # are now threaded in the "right" way, |
commit | commitdiff | tree | snapshot |
| 2001-05-09 |
Claudio Sacerdoti... | Attribute @name of ENTITY removed. |
commit | commitdiff | tree | snapshot |
| 2001-05-08 |
Claudio Sacerdoti... | Many improvements in theory-rendering. |
commit | commitdiff | tree | snapshot |
| 2001-05-07 |
Claudio Sacerdoti... | Relative anchors (#xxx) should be followed _inside_... |
commit | commitdiff | tree | snapshot |
| 2001-05-06 |
Luca Padovani | minidom.c : fixed memory leak |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Claudio Sacerdoti... | New standard stylesheet genmmlid.xsl added. |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Claudio Sacerdoti... | New version of Igor Rodionov stylesheets. |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Claudio Sacerdoti... | ':' are noc quoted. I tried to quote them, but everythi... |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Claudio Sacerdoti... | Stylesheets for (cic|content|presentation) theory now... |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Claudio Sacerdoti... | Bug fixed: following a link to an object inside a theor... |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Claudio Sacerdoti... | Bug fixed: following a link to an object inside a theor... |
commit | commitdiff | tree | snapshot |
| 2001-05-04 |
Claudio Sacerdoti... | Links not starting with cic: or theory: are now left... |
commit | commitdiff | tree | snapshot |
| 2001-05-03 |
Irene Schena | Theory level DTD changed and .theory.xml files exported... |
commit | commitdiff | tree | snapshot |
| 2001-05-02 |
Claudio Sacerdoti... | .cvsignore files missing |
commit | commitdiff | tree | snapshot |
| 2001-05-02 |
Claudio Sacerdoti... | Initial revision |
commit | commitdiff | tree | snapshot |
| 2001-04-19 |
Claudio Sacerdoti... | register method added |
commit | commitdiff | tree | snapshot |
| 2001-04-18 |
Claudio Sacerdoti... | annotationHelper now working again. A control frame... |
commit | commitdiff | tree | snapshot |
| 2001-04-18 |
Claudio Sacerdoti... | WARNING: NOT COMPILING COMMIT |
commit | commitdiff | tree | snapshot |
| 2001-04-12 |
Luca Padovani | Initial revision |
commit | commitdiff | tree | snapshot |
| 2001-04-12 |
Luca Padovani | Some adjustments in the licenses |
commit | commitdiff | tree | snapshot |
| 2001-04-12 |
Luca Padovani | Initial revision |
commit | commitdiff | tree | snapshot |
| 2001-04-12 |
Claudio Sacerdoti... | panel ==> uwobo-panel |
commit | commitdiff | tree | snapshot |
| 2001-04-11 |
Claudio Sacerdoti... | Content-Cache, Expires and Pragma added for non-error... |
commit | commitdiff | tree | snapshot |
| 2001-04-11 |
Claudio Sacerdoti... | Control frame added to CIC window |
commit | commitdiff | tree | snapshot |
| 2001-04-11 |
Andrea Asperti | In natural language, non vengono piu' stampati glia... |
commit | commitdiff | tree | snapshot |
| 2001-04-11 |
Claudio Sacerdoti... | Control panel added to CIC window |
commit | commitdiff | tree | snapshot |
| 2001-04-11 |
Claudio Sacerdoti... | Unstable commit: just before removing next/prev functio... |
commit | commitdiff | tree | snapshot |
| 2001-04-09 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-04-06 |
Luca Padovani | control.html, control.js: now commands replace the... |
commit | commitdiff | tree | snapshot |
| 2001-04-06 |
Claudio Sacerdoti... | Added URL quoting to quote also "," (required by Netsca... |
commit | commitdiff | tree | snapshot |
| 2001-04-06 |
Luca Padovani | Initial revision |
commit | commitdiff | tree | snapshot |
| 2001-04-05 |
Ferruccio Guidi | contentlib.xsl improved, now handles eq eqT |
commit | commitdiff | tree | snapshot |
| 2001-04-05 |
Andrea Asperti | Bug nat_double_ind solved. |
commit | commitdiff | tree | snapshot |
| 2001-04-04 |
Claudio Sacerdoti... | Bug fixed: the result was declared as gzipped even... |
commit | commitdiff | tree | snapshot |
| 2001-04-04 |
Claudio Sacerdoti... | Improved rendering for rewriting steps: a little indent... |
commit | commitdiff | tree | snapshot |
| 2001-04-04 |
Claudio Sacerdoti... | pure ==> proof_transform for the "by" part of rewriting |
commit | commitdiff | tree | snapshot |
| 2001-04-04 |
Claudio Sacerdoti... | pure ==> noannot in CASE's branches |
commit | commitdiff | tree | snapshot |
| 2001-04-04 |
Claudio Sacerdoti... | Big bug: & was not quoted in the URL for xmluri (that... |
commit | commitdiff | tree | snapshot |
| 2001-04-04 |
Ferruccio Guidi | fonts for lambda prod and forall enlarged |
commit | commitdiff | tree | snapshot |
| 2001-04-04 |
Ferruccio Guidi | characters in symbol font unified in size |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Ferruccio Guidi | abstract polinomials |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Ferruccio Guidi | added notations for abstact polinomials |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Luca Padovani | added support for HELM_GETTER_URL environment variable |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Luca Padovani | first steps towards new interface with UWOBo and new... |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Luca Padovani | added gmon.out |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Andrea Asperti | *** empty log message *** |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Claudio Sacerdoti... | Line morally belonging to lablgtk/*.h now is there... |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Andrea Asperti | Complete management of inductive types. |
commit | commitdiff | tree | snapshot |
| 2001-04-03 |
Claudio Sacerdoti... | Updated to lablgtk 1.2 and ocaml-3.01. |
commit | commitdiff | tree | snapshot |
| 2001-03-22 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-22 |
Claudio Sacerdoti... | Now links are followed even in theory + MathML Presentation |
commit | commitdiff | tree | snapshot |
| 2001-03-21 |
Claudio Sacerdoti... | headercontent.xsl added to have all the notational... |
commit | commitdiff | tree | snapshot |
| 2001-03-21 |
Claudio Sacerdoti... | patched_dtd => patch_dtd |
commit | commitdiff | tree | snapshot |
| 2001-03-21 |
Ferruccio Guidi | more notations added |
commit | commitdiff | tree | snapshot |
| 2001-03-20 |
Stefano Zacchiroli | - added support for file ls (i.e. you can use a baseuri... |
commit | commitdiff | tree | snapshot |
| 2001-03-20 |
Ferruccio Guidi | basic notations for arithmetics |
commit | commitdiff | tree | snapshot |
| 2001-03-20 |
Ferruccio Guidi | added notation for arithmetics |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Claudio Sacerdoti... | Changes in raw mode interface |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Claudio Sacerdoti... | Now uses the new stylesheets waterfall |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Claudio Sacerdoti... | error: "iso8859-1" ==> "'iso8859-1'" |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Claudio Sacerdoti... | makeURL() and related variables and parameters moved... |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Claudio Sacerdoti... | getciconly ==> getxml |
commit | commitdiff | tree | snapshot |
| 2001-03-19 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-17 |
Stefano Zacchiroli | Added support for CGI handling, still remain some probl... |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Claudio Sacerdoti... | getciconly ==> getxml |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Stefano Zacchiroli | - renamed /getciconly in /getxml |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Claudio Sacerdoti... | Annotations now working again (even if in a bit trickie... |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Stefano Zacchiroli | Changed default content type from "text/plain" to ... |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Stefano Zacchiroli | Various changes: |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Claudio Sacerdoti... | Raw mode now really considers compressed/not compressed |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Stefano Zacchiroli | Added "format" support to /getciconly method. |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Claudio Sacerdoti... | Method get of the getter no more used. Replaced by... |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Stefano Zacchiroli | ehm ... no comment |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Stefano Zacchiroli | Fixed a bug in the case cachemode=gzipped, resourcetype... |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Claudio Sacerdoti... | Files with annotations available now use a different... |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Claudio Sacerdoti... | Used for files where annotations are availables |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Claudio Sacerdoti... | annotations now taken in account (as was for naturalLan... |
commit | commitdiff | tree | snapshot |
| 2001-03-16 |
Stefano Zacchiroli | Fixed bug in .ann extension handling. |
commit | commitdiff | tree | snapshot |
| 2001-03-14 |
Claudio Sacerdoti... | Syntax error + new indenting |
commit | commitdiff | tree | snapshot |
| 2001-03-14 |
Claudio Sacerdoti... | Configuration on-line now pass the parameters |
commit | commitdiff | tree | snapshot |
| 2001-03-13 |
Luca Padovani | Initial revision |
commit | commitdiff | tree | snapshot |
| 2001-03-12 |
Claudio Sacerdoti... | Last update before dismission |
commit | commitdiff | tree | snapshot |
| 2001-03-10 |
Stefano Zacchiroli | Added dtd reference in ls method while generating xml... |
commit | commitdiff | tree | snapshot |
| 2001-03-09 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-09 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2001-03-08 |
Luca Padovani | the version command has been renamed into help, the... |
commit | commitdiff | tree | snapshot |
| 2001-03-07 |
Claudio Sacerdoti... | processorURL must now already end with a / |
commit | commitdiff | tree | snapshot |
| 2001-03-07 |
Claudio Sacerdoti... | Now the on-line interface can use a Getter and an UWOBO... |
commit | commitdiff | tree | snapshot |
| 2001-03-07 |
Claudio Sacerdoti... | Bug fixed: now propagates informations about inner... |
commit | commitdiff | tree | snapshot |
| 2001-03-07 |
Andrea Asperti | *** empty log message *** |
commit | commitdiff | tree | snapshot |
| 2001-03-06 |
Claudio Sacerdoti... | getter flags considered |
commit | commitdiff | tree | snapshot |
| 2001-03-06 |
Stefano Zacchiroli | Added ordering in ann and types flags |
commit | commitdiff | tree | snapshot |
| 2001-03-06 |
Claudio Sacerdoti... | library3 ==> javascript |
commit | commitdiff | tree | snapshot |
| 2001-03-06 |
Claudio Sacerdoti... | New on-line interface |
commit | commitdiff | tree | snapshot |
| 2001-03-06 |
Claudio Sacerdoti... | New online interface |
commit | commitdiff | tree | snapshot |
| next |
projects / helm.git / shortlog