]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
Files control.js graphLinks.js utils.js no longer in use.
[helm.git] / helm / ocaml /
2004-03-31 Matteo SelmitacticChaser modified to avoid double "apply" and to...
2004-03-31 Lionel MamaneMeta files are in METAS subdir
2004-03-26 Claudio Sacerdoti... tex notation enabled
2004-03-24 Stefano ZacchiroliCSC: hack to make applications of constants that have...
2004-03-22 Stefano Zacchirolicosmetic alignment change
2004-03-22 Claudio Sacerdoti... - power notation
2004-03-22 Claudio Sacerdoti... ...
2004-03-16 Andrea AspertiSorts are no longer all convertible. To be completed...
2004-03-16 Andrea AspertiSorts are no longer all convertible. To be completed...
2004-03-12 acerioniFirst implementation of the Auto tactic.
2004-03-12 acerioniType of exception changed: from exn to string.
2004-03-10 Ferruccio Guidi- interpreter: the queries are printed before execution
2004-03-09 Claudio Sacerdoti... Debug code removed.
2004-03-09 Claudio Sacerdoti... Bug fixed: instead of generating "not ()", I generate...
2004-03-09 Claudio Sacerdoti... Meta no longer raise a failure. Instead they return...
2004-03-08 Claudio Sacerdoti... - reindented
2004-03-05 Claudio Sacerdoti... \Assign and \subst to match the parser.
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ...
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using...
2004-03-05 Claudio Sacerdoti... Debugging message removed.
2004-03-05 Claudio Sacerdoti... apply_subst did not apply the substitution to the expli...
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure...
2004-03-05 Claudio Sacerdoti... Wrong error message patched.
2004-03-05 Claudio Sacerdoti... List.nth not guarded by try ... with. Fixed.
2004-03-05 Claudio Sacerdoti... Debugging code removed.
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with...
2004-03-02 Claudio Sacerdoti... Bug in guarded_by_destructors (case Rel to a definition...
2004-03-02 Claudio Sacerdoti... ...
2004-03-02 Claudio Sacerdoti... - Improved error messaging.
2004-03-02 Stefano Zacchiroli- ported to latest CicAst.Ident format (Some [] <>...
2004-03-02 Stefano Zacchirolidifferentieted empty substitution list from no substitu...
2004-03-02 Stefano Zacchiroliadded cast concrete syntax
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations.
2004-02-27 Ferruccio Guidinow database interfaces are more abstract
2004-02-26 Ferruccio Guidi- MySQL mode added to the interpreter
2004-02-26 Claudio Sacerdoti... Error message fixed.
2004-02-26 Claudio Sacerdoti... New implementation of eat_prods.
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When...
2004-02-26 Stefano Zacchiroliadded support for commands and scripts
2004-02-26 Stefano Zacchiroliadded vim modeline for encoding=utf8
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_...
2004-02-26 Claudio Sacerdoti... Optimization: since an invariant says that the inferred...
2004-02-26 Claudio Sacerdoti... ...
2004-02-26 Claudio Sacerdoti... eqT removed.
2004-02-24 Stefano Zacchiroliadded functions and uris for binary {positive,integer}
2004-02-24 Stefano Zacchiroliadded binary {positive,integer} notation
2004-02-24 Claudio Sacerdoti... New v8.0 URIs.
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0.
2004-02-24 Claudio Sacerdoti... More V8.0 uris.
2004-02-24 Claudio Sacerdoti... More v8.0 URIs.
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0.
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs.
2004-02-24 Claudio Sacerdoti... Porting to MySql.
2004-02-24 Claudio Sacerdoti... Quick patch to make everything work with MySql.
2004-02-24 Stefano Zacchiroli- added support for boolean parameters
2004-02-24 Claudio Sacerdoti... ...
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris.
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the...
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an...
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword
2004-02-23 Stefano Zacchirolicommented out a debugging message
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword)
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation...
2004-02-23 Stefano ZacchiroliRinv typo fix
2004-02-20 Stefano Zacchirolibugfix: "in" is an IDENT, not a keyword
2004-02-20 Ferruccio Guidihard-coded timing of generated queries disabled: use...
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized
2004-02-19 Ferruccio Guidisource logging patched
2004-02-19 Ferruccio Guidisource logging is now native in the interpreter
2004-02-19 Ferruccio Guidisource logging enabled by default
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,...
2004-02-19 Andrea AspertiMinor modification in test_parser (to use the new prett...
2004-02-18 Ferruccio Guidimathql interpreter flags can be now red from helm registry
2004-02-18 Claudio Sacerdoti... helm_registry is already in due to transitive dependencies
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in...
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method.
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing
2004-02-18 Stefano Zacchiroli- bugfix in term grammar: lowered precedence level...
2004-02-18 Stefano Zacchirolicatch parse error exception and show them to the user...
2004-02-18 Ferruccio Guidipatched
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily...
2004-02-17 Stefano Zacchiroliadded copyright info
2004-02-17 Stefano Zacchiroliremoved useless Mpresentation module
2004-02-17 Stefano Zacchirolimoved away tactics and tacticals
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged)
2004-02-17 Stefano Zacchiroliadded hook for .cma link time options
2004-02-17 Stefano Zacchiroliadded tactic and tactical (still heavily bugged!!!)
2004-02-17 Claudio Sacerdoti... The PostgreSQL connection string has been moved to...
2004-02-17 Claudio Sacerdoti... Porting of applyStylesheets.ml to Helm_registry.
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt is now retrieved by Helm_registry.
2004-02-17 Claudio Sacerdoti... -linkall removed
2004-02-17 Claudio Sacerdoti... - double_type_of: sort_of_prod modified to expect also...
2004-02-16 Stefano Zacchirolibugfix: top level keys now should work
2004-02-16 Stefano Zacchiroli- more structured configuration file
2004-02-16 Stefano Zacchiroliadded ocamlinit target which creates a .ocamlinit file
2004-02-16 Stefano Zacchirolisolved a precedence issue between binders and arrows
2004-02-16 Stefano Zacchirolido not use tex notation per default (used only by tex...
2004-02-16 Stefano Zacchiroliuse BoxPp
2004-02-16 Stefano Zacchiroli- added arrow notation
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase
next