]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
metadata are no longer stored in .moo files.
[helm.git] / helm / ocaml /
2005-12-03 Claudio Sacerdoti... 1. metadata are no longer stored in .moo files. tree | commitdiff
2005-12-02 Stefano Zacchirolimoved (and hence exported) uri rehashing functions... tree | commitdiff
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in... tree | commitdiff
2005-11-30 Enrico Tassiit may happen that matitaclean (clean_baseuris) calls... tree | commitdiff
2005-11-30 Claudio Sacerdoti... moved coercion to library (work in progress) tree | commitdiff
2005-11-30 Claudio Sacerdoti... coercGraph.ml* moved from cic_unification to library tree | commitdiff
2005-11-30 Claudio Sacerdoti... Terms parsed by notations were not localized. tree | commitdiff
2005-11-30 Claudio Sacerdoti... Generation of auxiliary lemmas for inductive types... tree | commitdiff
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library... tree | commitdiff
2005-11-28 Claudio Sacerdoti... * More error messages localized. tree | commitdiff
2005-11-28 Claudio Sacerdoti... More errors localized. tree | commitdiff
2005-11-28 Claudio Sacerdoti... More error messages localized. tree | commitdiff
2005-11-28 Claudio Sacerdoti... More aggressive politic for non localized terms: an... tree | commitdiff
2005-11-28 Claudio Sacerdoti... DisambiguationError exceptions (that have locations... tree | commitdiff
2005-11-28 Claudio Sacerdoti... 1. Bug fixed: compilation of "let corec" to a simple... tree | commitdiff
2005-11-27 Stefano Zacchiroliremoved deadcode / fixed typos (thanks to ocaml 3.09) tree | commitdiff
2005-11-27 Stefano Zacchirolicrosso compatibility patch which enable building both... tree | commitdiff
2005-11-26 Claudio Sacerdoti... * wrong comments removed tree | commitdiff
2005-11-26 Claudio Sacerdoti... Refinement bug fixed. The outtype was not refined if... tree | commitdiff
2005-11-26 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2005-11-26 Claudio Sacerdoti... Bug fixed: an unrefined term was passed around while... tree | commitdiff
2005-11-26 Claudio Sacerdoti... Experimental localization of errors during refinement... tree | commitdiff
2005-11-26 Claudio Sacerdoti... Module CicHash (hash-tables over CIC terms based on... tree | commitdiff
2005-11-25 Claudio Sacerdoti... Non exhaustive match fixed. tree | commitdiff
2005-11-25 Stefano Zacchirolibugfix: removed unneeded No_choices exception tree | commitdiff
2005-11-25 Stefano Zacchirolichanged META dependency tree | commitdiff
2005-11-25 Claudio Sacerdoti... Unused file removed. tree | commitdiff
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries. tree | commitdiff
2005-11-24 Stefano Zacchirolisplit non-logic level of whelp away from metadataQuery... tree | commitdiff
2005-11-24 Stefano Zacchiroliremoved the need of REQUIRES in libraries Makefile... tree | commitdiff
2005-11-24 Stefano Zacchirolibugfix: libraries.ps works again tree | commitdiff
2005-11-24 Stefano Zacchiroliprose tree | commitdiff
2005-11-24 Stefano Zacchiroliminimal introduction tree | commitdiff
2005-11-23 Claudio Sacerdoti... * New implementation of localized exceptions tree | commitdiff
2005-11-22 Stefano Zacchiroli- more resilient to proof checking failures during... tree | commitdiff
2005-11-22 Stefano Zacchirolisupport pretty printing of Cic.Implicit tree | commitdiff
2005-11-22 Stefano Zacchirolibugfix: return unshared sequent when applying cic ... tree | commitdiff
2005-11-22 Claudio Sacerdoti... Debugging code commented out. tree | commitdiff
2005-11-22 Claudio Sacerdoti... "Localization" of error messages for eat_prods and... tree | commitdiff
2005-11-22 Claudio Sacerdoti... Less verbose error messages. tree | commitdiff
2005-11-21 Claudio Sacerdoti... Invariant no longer true (since when?) tree | commitdiff
2005-11-21 Claudio Sacerdoti... More informative error messages. tree | commitdiff
2005-11-21 Stefano Zacchirolisplit body away to ease inclusion from elsewhere tree | commitdiff
2005-11-21 Stefano Zacchirolisplit to easy inclusion tree | commitdiff
2005-11-21 Stefano Zacchirolitypo tree | commitdiff
2005-11-21 Stefano Zacchirolifixed URI regexp so that URIs containing '-' are allowed tree | commitdiff
2005-11-19 Claudio Sacerdoti... "let rec f = ... in f l" used to be compiled incorrectly tree | commitdiff
2005-11-19 Claudio Sacerdoti... Less verbose error messages (= substitution applied... tree | commitdiff
2005-11-19 Claudio Sacerdoti... Wrong reported error message fixed. tree | commitdiff
2005-11-19 Claudio Sacerdoti... More information is now printed when reporting errors. tree | commitdiff
2005-11-19 Claudio Sacerdoti... Typo fixed. tree | commitdiff
2005-11-19 Claudio Sacerdoti... Disambiguation errors are no longer thrown away. They... tree | commitdiff
2005-11-19 Claudio Sacerdoti... Coercions are now inserted also around the sources... tree | commitdiff
2005-11-18 Enrico Tassimore work for coercions tree | commitdiff
2005-11-18 Stefano Zacchiroliadded support for enabling/disabling (pretty printing... tree | commitdiff
2005-11-18 Claudio Sacerdoti... Incredible bug fixed: coercions were computed and then... tree | commitdiff
2005-11-18 Claudio Sacerdoti... Improvement/bug fix: rewriting in the hypothesis used... tree | commitdiff
2005-11-17 Claudio Sacerdoti... Comments changed/removed. tree | commitdiff
2005-11-17 Claudio Sacerdoti... "Parallel" rewriting in a list of hypothesis and in... tree | commitdiff
2005-11-17 Claudio Sacerdoti... Major code semplification and improvement: tree | commitdiff
2005-11-17 Claudio Sacerdoti... First draft implementation of rewriting in an hypothesis. tree | commitdiff
2005-11-17 Claudio Sacerdoti... New tactic rename (for now for internal usage only). tree | commitdiff
2005-11-15 Claudio Sacerdoti... Debugging code commented out. tree | commitdiff
2005-11-15 Claudio Sacerdoti... Bug fixed: wrong exception was raised (instead of retur... tree | commitdiff
2005-11-15 Stefano Zacchirolibetter output formatting tree | commitdiff
2005-11-15 Stefano Zacchiroliremoved grammar rule which used to enable things linke... tree | commitdiff
2005-11-15 Enrico Tassilist_uniq abstracted on equality tree | commitdiff
2005-11-15 Enrico Tassifixed self and removed more DUMMY... only one left tree | commitdiff
2005-11-15 Enrico Tassiadded print_grammar tree | commitdiff
2005-11-15 Enrico Tassiremoved duplicate entry tree | commitdiff
2005-11-14 Enrico Tassidded missing catch for coercions tree | commitdiff
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify. tree | commitdiff
2005-11-08 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Refinement of a Cast was bugged. tree | commitdiff
2005-11-07 Claudio Sacerdoti... AssertFailure from the type-checker now becomes an... tree | commitdiff
2005-11-07 Claudio Sacerdoti... Let-ins with types can now be produced. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Avoid generation of let x = let rec x = ... in x in... tree | commitdiff
2005-11-07 Claudio Sacerdoti... Let-ins with types can be produced. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Syntactic change: tree | commitdiff
2005-11-07 Claudio Sacerdoti... Duplicated exception definition removed (used to give... tree | commitdiff
2005-11-04 Enrico Tassirefined outtype used to be discharged tree | commitdiff
2005-11-04 Enrico Tassiadded calbback to make the profiler silent tree | commitdiff
2005-11-04 Stefano Zacchiroliligature expansion now considers also tex macros tree | commitdiff
2005-11-04 Stefano Zacchiroliexported is_blank tree | commitdiff
2005-11-04 Stefano Zacchiroliadded ligatures expansion support functions tree | commitdiff
2005-11-04 Stefano Zacchirolibetter distinction of (* *) and (** *) comments tree | commitdiff
2005-11-04 Stefano Zacchiroliremoved no longer needed dependency on pxp tree | commitdiff
2005-11-04 Stefano Zacchiroliadded tilde_expansion of directory settings tree | commitdiff
2005-11-04 Stefano Zacchiroliadded char functions: tree | commitdiff
2005-11-04 Stefano Zacchirolichanged stack entry representation tree | commitdiff
2005-11-03 Stefano ZacchiroliBug fix: index.theory dereferentiation works also for... tree | commitdiff
2005-11-03 Claudio Sacerdoti... Semantic change: I always consider a type with no const... tree | commitdiff
2005-11-03 Claudio Sacerdoti... Semantic change: elimination of a term whose type is... tree | commitdiff
2005-11-03 Enrico Tassiadded documentation on allowed eliminations tree | commitdiff
2005-11-03 Claudio Sacerdoti... 1. a simplified version of check_allowed_sort_eliminati... tree | commitdiff
2005-11-03 Claudio Sacerdoti... Major code semplification in check_allowed_sort_elimina... tree | commitdiff
2005-10-27 Claudio Sacerdoti... 1. Parameter enable (default true) added to HExtlib... tree | commitdiff
2005-10-27 Claudio Sacerdoti... ... tree | commitdiff
2005-10-27 Stefano Zacchirolityping errors tree | commitdiff
2005-10-26 Stefano Zacchiroliadded constraing on non-empty context for tactic applic... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.