]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Minor changes.
[helm.git] / helm /
2005-12-06 Andrea AspertiMinor changes. tree | commitdiff
2005-12-06 Andrea AspertiNaming convention. tree | commitdiff
2005-12-05 Alberto Griggiobetter output from main_demod_equalities tree | commitdiff
2005-12-05 Alberto Griggioadded function term_of_equality to re-build the Cic... tree | commitdiff
2005-12-05 Claudio Sacerdoti... eval_from_stream_greedy finally got rid of! tree | commitdiff
2005-12-05 Alberto Griggioremoved original equalities from the output of main_dem... tree | commitdiff
2005-12-05 Claudio Sacerdoti... 1. Several files in grafite that should be in grafite_p... tree | commitdiff
2005-12-05 Claudio Sacerdoti... 1. Several files in grafite that should be in grafite_p... tree | commitdiff
2005-12-05 Alberto Griggioremoved some debug messages tree | commitdiff
2005-12-05 Alberto Griggioadded function saturate_equations that tries to infer... tree | commitdiff
2005-12-05 Andrea AspertiMinor changes. tree | commitdiff
2005-12-05 Stefano Zacchiroliremoved from repository spurious object files tree | commitdiff
2005-12-05 Andrea AspertiAdded a new section on the logical library. tree | commitdiff
2005-12-03 Claudio Sacerdoti... metadata are no longer stored in .moo files. tree | commitdiff
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-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... moved coercions away (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... Implicit aliases are now defined as all the aliases... tree | commitdiff
2005-11-30 Claudio Sacerdoti... nicer (but convertible) types tree | commitdiff
2005-11-30 Claudio Sacerdoti... * Undo fixed. tree | commitdiff
2005-11-30 Claudio Sacerdoti... Terms parsed by notations were not localized. tree | commitdiff
2005-11-30 Stefano Zacchiroliimproved disambiguation section 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-29 Andrea AspertiAdded a few bibliographic entries. tree | commitdiff
2005-11-28 Ferruccio Guidicoa continued 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 Stefano Zacchirolifirst part on disambiguation passes tree | commitdiff
2005-11-28 Enrico Tassiadded comment 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 Zacchiroliremoved dead code (thanks to ocaml 3.09) tree | commitdiff
2005-11-27 Stefano Zacchirolicrosso compatibility patch which enable building both... tree | commitdiff
2005-11-26 Stefano Zacchiroliocaml 3.09 transition 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 Ferruccio Guidicoimplication (continued) 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 Ferruccio Guidithe coimplication connective (start) tree | commitdiff
2005-11-26 Claudio Sacerdoti... Module CicHash (hash-tables over CIC terms based on... tree | commitdiff
2005-11-26 Stefano Zacchirolis/0c2/0c2a/ in .install tree | commitdiff
2005-11-25 Claudio Sacerdoti... ... tree | commitdiff
2005-11-25 Claudio Sacerdoti... Non exhaustive match fixed. tree | commitdiff
2005-11-25 Stefano ZacchiroliBug fixed: removal of .__log was not always attempted. tree | commitdiff
2005-11-25 Stefano Zacchiroliuse empty universe in the mono alias phases tree | commitdiff
2005-11-25 Stefano Zacchirolibugfix: removed unneeded No_choices exception tree | commitdiff
2005-11-25 Claudio Sacerdoti... Confronto con Coq. tree | commitdiff
2005-11-25 Stefano Zacchiroliminor changes tree | commitdiff
2005-11-25 Stefano Zacchirolilabels tree | commitdiff
2005-11-25 Claudio Sacerdoti... ... tree | commitdiff
2005-11-25 Claudio Sacerdoti... ... tree | commitdiff
2005-11-25 Stefano Zacchirolideps tree | commitdiff
2005-11-25 Claudio Sacerdoti... More on the presentation. tree | commitdiff
2005-11-25 Enrico Tassifix tree | commitdiff
2005-11-25 Stefano Zacchiroliadded missing deps tree | commitdiff
2005-11-25 Claudio Sacerdoti... ... tree | commitdiff
2005-11-25 Stefano Zacchirolibuild paper per default tree | commitdiff
2005-11-25 Stefano Zacchirolidependency graphs tree | commitdiff
2005-11-25 Stefano Zacchirolinotation intro tree | commitdiff
2005-11-25 Enrico Tassiadded tinycals and patterns subsections 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, matita changed... tree | commitdiff
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries. tree | commitdiff
2005-11-24 Claudio Sacerdoti... ... tree | commitdiff
2005-11-24 Claudio Sacerdoti... Da capo (matita2.tex). tree | commitdiff
2005-11-24 Stefano Zacchirolisplit non-logic level of whelp away from metadataQuery... tree | commitdiff
2005-11-24 Stefano Zacchiroliadded missing dependency 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 for localized exceptions. tree | commitdiff
2005-11-23 Claudio Sacerdoti... * New implementation of localized exceptions tree | commitdiff
2005-11-23 Claudio Sacerdoti... ... tree | commitdiff
2005-11-23 Stefano Zacchiroliocaml 3.09 transition tree | commitdiff
2005-11-23 Claudio Sacerdoti... More on accessibility. tree | commitdiff
2005-11-23 Stefano Zacchiroliocaml 3.09 transition tree | commitdiff
2005-11-23 Stefano Zacchiroliocaml 3.09 transition tree | commitdiff
2005-11-23 Stefano Zacchiroli0.7.2 version (ancient) 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... Error messages improved. 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-22 Claudio Sacerdoti... Last details. tree | commitdiff
2005-11-21 Claudio Sacerdoti... Proof using function induction terminated. It's really... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.