]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
avoid writing in read only baseuris
[helm.git] / helm / ocaml /
2005-11-19 Claudio Sacerdoti... More information is now printed when reporting errors.
2005-11-19 Claudio Sacerdoti... Typo fixed.
2005-11-19 Claudio Sacerdoti... Disambiguation errors are no longer thrown away. They...
2005-11-19 Claudio Sacerdoti... Coercions are now inserted also around the sources...
2005-11-18 Enrico Tassimore work for coercions
2005-11-18 Stefano Zacchiroliadded support for enabling/disabling (pretty printing...
2005-11-18 Claudio Sacerdoti... Incredible bug fixed: coercions were computed and then...
2005-11-18 Claudio Sacerdoti... Improvement/bug fix: rewriting in the hypothesis used...
2005-11-17 Claudio Sacerdoti... Comments changed/removed.
2005-11-17 Claudio Sacerdoti... "Parallel" rewriting in a list of hypothesis and in...
2005-11-17 Claudio Sacerdoti... Major code semplification and improvement:
2005-11-17 Claudio Sacerdoti... First draft implementation of rewriting in an hypothesis.
2005-11-17 Claudio Sacerdoti... New tactic rename (for now for internal usage only).
2005-11-15 Claudio Sacerdoti... Debugging code commented out.
2005-11-15 Claudio Sacerdoti... Bug fixed: wrong exception was raised (instead of retur...
2005-11-15 Stefano Zacchirolibetter output formatting
2005-11-15 Stefano Zacchiroliremoved grammar rule which used to enable things linke...
2005-11-15 Enrico Tassilist_uniq abstracted on equality
2005-11-15 Enrico Tassifixed self and removed more DUMMY... only one left
2005-11-15 Enrico Tassiadded print_grammar
2005-11-15 Enrico Tassiremoved duplicate entry
2005-11-14 Enrico Tassidded missing catch for coercions
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify.
2005-11-08 Claudio Sacerdoti... Debugging code removed.
2005-11-07 Claudio Sacerdoti... Refinement of a Cast was bugged.
2005-11-07 Claudio Sacerdoti... AssertFailure from the type-checker now becomes an...
2005-11-07 Claudio Sacerdoti... Let-ins with types can now be produced.
2005-11-07 Claudio Sacerdoti... Avoid generation of let x = let rec x = ... in x in...
2005-11-07 Claudio Sacerdoti... Let-ins with types can be produced.
2005-11-07 Claudio Sacerdoti... Syntactic change:
2005-11-07 Claudio Sacerdoti... Duplicated exception definition removed (used to give...
2005-11-04 Enrico Tassirefined outtype used to be discharged
2005-11-04 Enrico Tassiadded calbback to make the profiler silent
2005-11-04 Stefano Zacchiroliligature expansion now considers also tex macros
2005-11-04 Stefano Zacchiroliexported is_blank
2005-11-04 Stefano Zacchiroliadded ligatures expansion support functions
2005-11-04 Stefano Zacchirolibetter distinction of (* *) and (** *) comments
2005-11-04 Stefano Zacchiroliremoved no longer needed dependency on pxp
2005-11-04 Stefano Zacchiroliadded tilde_expansion of directory settings
2005-11-04 Stefano Zacchiroliadded char functions:
2005-11-04 Stefano Zacchirolichanged stack entry representation
2005-11-03 Stefano ZacchiroliBug fix: index.theory dereferentiation works also for...
2005-11-03 Claudio Sacerdoti... Semantic change: I always consider a type with no const...
2005-11-03 Claudio Sacerdoti... Semantic change: elimination of a term whose type is...
2005-11-03 Enrico Tassiadded documentation on allowed eliminations
2005-11-03 Claudio Sacerdoti... 1. a simplified version of check_allowed_sort_eliminati...
2005-11-03 Claudio Sacerdoti... Major code semplification in check_allowed_sort_elimina...
2005-10-27 Claudio Sacerdoti... 1. Parameter enable (default true) added to HExtlib...
2005-10-27 Claudio Sacerdoti... ...
2005-10-27 Stefano Zacchirolityping errors
2005-10-26 Stefano Zacchiroliadded constraing on non-empty context for tactic applic...
2005-10-26 Stefano Zacchiroliimproved Makefile
2005-10-26 Claudio Sacerdoti... Dead code removed.
2005-10-25 Claudio Sacerdoti... Semantic change: applying a tactic to the empty goal...
2005-10-25 Claudio Sacerdoti... Syntax change:
2005-10-25 Enrico Tassimoved the expansion of implicits inside the refiner...
2005-10-25 Enrico Tassifixed lapply on new tinycals semantic
2005-10-25 Stefano Zacchirolifixed some type error
2005-10-25 Andrea Aspertiexperimental version
2005-10-25 Stefano Zacchirolinew tacticals
2005-10-25 Stefano Zacchiroliadded iter_option
2005-10-25 Stefano Zacchiroli"better" (????) identification of assertion failures
2005-10-25 Claudio Sacerdoti... Debugging code turned off.
2005-10-25 Claudio Sacerdoti... * More profiling code
2005-10-25 Claudio Sacerdoti... Every exception that used to have type string is now...
2005-10-25 Claudio Sacerdoti... ...
2005-10-25 Andrea Aspertireadme file
2005-10-25 Claudio Sacerdoti... ~subst fixed everywhere in the type-checker:
2005-10-25 Claudio Sacerdoti... Bug fixed: the current substitution and metasenv were...
2005-10-24 Stefano Zacchirolinew semantics, should be the basis for the (re-)impleme...
2005-10-19 Andrea AspertiCorrected a mistake in power_upto, and decreased the...
2005-10-17 Enrico Tassiadded coercions to Prod
2005-10-17 Alberto Griggioadded some comments; general code cleanup
2005-10-12 Alberto Griggiofixed a couple of bugs that broke tests...
2005-10-11 Alberto Griggiofixed bugs in Indexing.find_matches and Saturation...
2005-10-11 Stefano Zacchiroliadded goals_of_proof
2005-10-11 Stefano Zacchiroliadded list_concat
2005-10-10 Stefano Zacchiroliadded level2 <-> level3 transformations
2005-10-10 Alberto Griggiofixed a bug (status not reset properly between calls...
2005-10-10 Stefano Zacchiroli- added stack frame tagging
2005-10-09 Claudio Sacerdoti... More informative exceptions raised.
2005-10-06 Stefano Zacchirolichanged functor interface, now based on proofs instead...
2005-10-06 Stefano Zacchiroliignore usual *tex crap
2005-10-06 Stefano Zacchiroliadded Makefile
2005-10-06 Stefano Zacchirolicompleted instantiatian of level 2 patterns from level 1
2005-10-06 Stefano Zacchiroli- better naming
2005-10-06 Stefano Zacchirolifirst check in of continuationals implementation
2005-10-06 Stefano Zacchiroliin the end: ... proper handling of multiple bindings...
2005-10-06 Stefano Zacchirolibugfix: multiple bindings of the same key work again
2005-10-05 Stefano Zacchirolis/commands_of_domain_and_codomain_items_list/aliases_of...
2005-10-05 Stefano Zacchiroliadded metadata "commands"
2005-10-05 Stefano Zacchiroliuncommented find_cic_appl_pattern_uris
2005-10-05 Stefano Zacchiroliadded find
2005-10-05 Stefano Zacchirolirebuilt
2005-10-05 Stefano Zacchiroliadded hmysql dependency
2005-10-05 Stefano Zacchiroli- "load_from" no longer clears the previous registry...
2005-10-05 Stefano Zacchirolirebut
2005-10-05 Stefano Zacchiroliadded hmysql
2005-10-05 Stefano Zacchirolimoved hmysql to a separate module
2005-10-05 Enrico Tassiaded hmysql/
next