2004-02-26 |
Claudio Sacerdoti... | New implementation of eat_prods. |
tree | commitdiff |
2004-02-26 |
Stefano Zacchiroli | - better handling of temp files wrt to failures. When... |
tree | commitdiff |
2004-02-26 |
Stefano Zacchiroli | added support for commands and scripts |
tree | commitdiff |
2004-02-26 |
Stefano Zacchiroli | added vim modeline for encoding=utf8 |
tree | commitdiff |
2004-02-26 |
Stefano Zacchiroli | added command and script ASTs with _debugging_only_... |
tree | commitdiff |
2004-02-26 |
Claudio Sacerdoti... | Optimization: since an invariant says that the inferred... |
tree | commitdiff |
2004-02-26 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2004-02-26 |
Claudio Sacerdoti... | eqT removed. |
tree | commitdiff |
2004-02-24 |
Stefano Zacchiroli | added functions and uris for binary {positive,integer} |
tree | commitdiff |
2004-02-24 |
Stefano Zacchiroli | added binary {positive,integer} notation |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | New v8.0 URIs. |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | More uris ported to V8.0. |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | More V8.0 uris. |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | More v8.0 URIs. |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | Porting URIs to V8.0. |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | Partial porting to V8 URIs. |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | Porting to MySql. |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | Quick patch to make everything work with MySql. |
tree | commitdiff |
2004-02-24 |
Stefano Zacchiroli | - added support for boolean parameters |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2004-02-24 |
Claudio Sacerdoti... | Added parameter format=text|xml to getalluris. |
tree | commitdiff |
2004-02-23 |
Claudio Sacerdoti... | A lazy value was put in place of a function ==> the... |
tree | commitdiff |
2004-02-23 |
Claudio Sacerdoti... | "add_server?position=0" no longer worked (raised an... |
tree | commitdiff |
2004-02-23 |
Stefano Zacchiroli | added a space between term and "using" keyword |
tree | commitdiff |
2004-02-23 |
Stefano Zacchiroli | commented out a debugging message |
tree | commitdiff |
2004-02-23 |
Stefano Zacchiroli | bugfix in "elim ... using" tactical ("using" is a keyword) |
tree | commitdiff |
2004-02-23 |
Stefano Zacchiroli | added a lot of notation: arithmetic operators, relation... |
tree | commitdiff |
2004-02-23 |
Stefano Zacchiroli | Rinv typo fix |
tree | commitdiff |
2004-02-20 |
Stefano Zacchiroli | bugfix: "in" is an IDENT, not a keyword |
tree | commitdiff |
2004-02-20 |
Ferruccio Guidi | hard-coded timing of generated queries disabled: use... |
tree | commitdiff |
2004-02-20 |
Ferruccio Guidi | - mathql interpreter flags reorganized |
tree | commitdiff |
2004-02-19 |
Ferruccio Guidi | source logging patched |
tree | commitdiff |
2004-02-19 |
Ferruccio Guidi | source logging is now native in the interpreter |
tree | commitdiff |
2004-02-19 |
Ferruccio Guidi | source logging enabled by default |
tree | commitdiff |
2004-02-19 |
Andrea Asperti | Adding tacticAst2Box (pretty printer for tactical,... |
tree | commitdiff |
2004-02-19 |
Andrea Asperti | Minor modification in test_parser (to use the new prett... |
tree | commitdiff |
2004-02-18 |
Ferruccio Guidi | mathql interpreter flags can be now red from helm registry |
tree | commitdiff |
2004-02-18 |
Claudio Sacerdoti... | helm_registry is already in due to transitive dependencies |
tree | commitdiff |
2004-02-18 |
Claudio Sacerdoti... | The order IS significative. Changing the order (in... |
tree | commitdiff |
2004-02-18 |
Claudio Sacerdoti... | typo fixed. Used to break the ls method. |
tree | commitdiff |
2004-02-18 |
Stefano Zacchiroli | fixed cosmetic typos during pretty printing |
tree | commitdiff |
2004-02-18 |
Stefano Zacchiroli | - bugfix in term grammar: lowered precedence level... |
tree | commitdiff |
2004-02-18 |
Stefano Zacchiroli | catch parse error exception and show them to the user... |
tree | commitdiff |
2004-02-18 |
Ferruccio Guidi | patched |
tree | commitdiff |
2004-02-18 |
Claudio Sacerdoti... | Bug fixed: Helm_registry was used not enough lazily... |
tree | commitdiff |
2004-02-17 |
Stefano Zacchiroli | added copyright info |
tree | commitdiff |
2004-02-17 |
Stefano Zacchiroli | removed useless Mpresentation module |
tree | commitdiff |
2004-02-17 |
Stefano Zacchiroli | moved away tactics and tacticals |
tree | commitdiff |
2004-02-17 |
Stefano Zacchiroli | added tactics and tacticals (heavily bugged) |
tree | commitdiff |
2004-02-17 |
Stefano Zacchiroli | added hook for .cma link time options |
tree | commitdiff |
2004-02-17 |
Stefano Zacchiroli | added tactic and tactical (still heavily bugged!!!) |
tree | commitdiff |
2004-02-17 |
Claudio Sacerdoti... | The PostgreSQL connection string has been moved to... |
tree | commitdiff |
2004-02-17 |
Claudio Sacerdoti... | Porting of applyStylesheets.ml to Helm_registry. |
tree | commitdiff |
2004-02-17 |
Claudio Sacerdoti... | mathql_db_map.txt is now retrieved by Helm_registry. |
tree | commitdiff |
2004-02-17 |
Claudio Sacerdoti... | -linkall removed |
tree | commitdiff |
2004-02-17 |
Claudio Sacerdoti... | - double_type_of: sort_of_prod modified to expect also... |
tree | commitdiff |
2004-02-16 |
Stefano Zacchiroli | bugfix: top level keys now should work |
tree | commitdiff |
2004-02-16 |
Stefano Zacchiroli | - more structured configuration file |
tree | commitdiff |
2004-02-16 |
Stefano Zacchiroli | added ocamlinit target which creates a .ocamlinit file |
tree | commitdiff |
2004-02-16 |
Stefano Zacchiroli | solved a precedence issue between binders and arrows |
tree | commitdiff |
2004-02-16 |
Stefano Zacchiroli | do not use tex notation per default (used only by tex... |
tree | commitdiff |
2004-02-16 |
Stefano Zacchiroli | use BoxPp |
tree | commitdiff |
2004-02-16 |
Stefano Zacchiroli | - added arrow notation |
tree | commitdiff |
2004-02-13 |
Stefano Zacchiroli | inductive type ident optional in mutcase |
tree | commitdiff |
2004-02-13 |
Stefano Zacchiroli | s/pcre/str/ |
tree | commitdiff |
2004-02-13 |
Andrea Asperti | new (box based) pretty printer |
tree | commitdiff |
2004-02-13 |
Stefano Zacchiroli | split configure.ac in two parts: ocaml and gTopLevel |
tree | commitdiff |
2004-02-13 |
Stefano Zacchiroli | - added support for variable interpolation |
tree | commitdiff |
2004-02-12 |
Ferruccio Guidi | patched for *.cmx |
tree | commitdiff |
2004-02-12 |
Ferruccio Guidi | new .depend files |
tree | commitdiff |
2004-02-12 |
Stefano Zacchiroli | removed some anciente debugging messages |
tree | commitdiff |
2004-02-12 |
Claudio Sacerdoti... | libraries-complete.ps: |
tree | commitdiff |
2004-02-12 |
Claudio Sacerdoti... | libraries-complete.ps: the internal libraries are now... |
tree | commitdiff |
2004-02-12 |
Claudio Sacerdoti... | Added new target libraries-complete.ps (with also all... |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | fixed typo |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | new logger |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | new logger, getter, and the hell |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | support for subst |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | new metas (getter's backend, registry, logger, and... |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | ported to new getter (backend) |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | ported to helm registry |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | ported to new logger |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | use debug_print in a debugging message |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | - getter revolution: split backend and frontend (this... |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | - split away gtk logger |
tree | commitdiff |
2004-02-11 |
Stefano Zacchiroli | added some debugging messages |
tree | commitdiff |
2004-02-11 |
Claudio Sacerdoti... | A type checking error report now prints also the metasenv. |
tree | commitdiff |
2004-02-11 |
Claudio Sacerdoti... | Big changes: |
tree | commitdiff |
2004-02-11 |
Claudio Sacerdoti... | Added copyright notice. |
tree | commitdiff |
2004-02-10 |
Claudio Sacerdoti... | Explicit Named Substitutions now supported. |
tree | commitdiff |
2004-02-10 |
Claudio Sacerdoti... | Bug fixed: when an axiom was asked, an exception was... |
tree | commitdiff |
2004-02-10 |
Claudio Sacerdoti... | Only applications whose head was a constant were eta... |
tree | commitdiff |
2004-02-10 |
Claudio Sacerdoti... | Bug fixed: checking inductive type declarations with... |
tree | commitdiff |
2004-02-10 |
Stefano Zacchiroli | added "'" as a valid (continuation) identifier character |
tree | commitdiff |
2004-02-09 |
Claudio Sacerdoti... | Added flag ?eta_fix:bool to acic_object_of_cic_object. |
tree | commitdiff |
2004-02-09 |
Stefano Zacchiroli | added thread entry |
tree | commitdiff |
2004-02-09 |
Stefano Zacchiroli | added netstring and pxp deps |
tree | commitdiff |
2004-02-09 |
Stefano Zacchiroli | helm-thread's META |
tree | commitdiff |
2004-02-09 |
Stefano Zacchiroli | thread library (actually contains just ThreadSafe module) |
tree | commitdiff |
2004-02-09 |
Stefano Zacchiroli | - added environment variable overriding |
tree | commitdiff |
next |