]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fixed -f in clean
[helm.git] / helm / matita /
2005-12-21 Enrico Tassifixed -f in clean tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Stefano Zacchirolireimplemented specific marshallars on top of generic... tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassibench tree | commitdiff
2005-12-21 Enrico Tassi__ files are removed tree | commitdiff
2005-12-21 Enrico Tassino more "completed in ." tree | commitdiff
2005-12-21 Claudio Sacerdoti... Huge reorganization of matita and ocaml. tree | commitdiff
2005-12-21 Enrico Tassifixed cicbrowser.opt argv.(0) tree | commitdiff
2005-12-15 marangonNew tactic: inversion. tree | commitdiff
2005-12-15 marangon... tree | commitdiff
2005-12-15 marangonadded -I ../.. (for coq.ma) tree | commitdiff
2005-12-14 Enrico Tassirm .depend tree | commitdiff
2005-12-14 Enrico Tassiadded -I../.. tree | commitdiff
2005-12-13 Enrico Tassione more try tree | commitdiff
2005-12-13 Enrico Tassiaaaa tree | commitdiff
2005-12-13 Enrico Tassifix tree | commitdiff
2005-12-13 Enrico Tassi... tree | commitdiff
2005-12-13 Enrico Tassifix tree | commitdiff
2005-12-13 Enrico Tassi... tree | commitdiff
2005-12-13 Enrico Tassifixed_names tree | commitdiff
2005-12-13 Enrico Tassifixed_names tree | commitdiff
2005-12-12 Stefano Zacchirolibugfix: tactic invocations from contextual menu no... tree | commitdiff
2005-12-12 Stefano Zacchiroliadded contextual menu to act over selected terms tree | commitdiff
2005-12-12 Stefano Zacchirolicoercion command now requires an uri tree | commitdiff
2005-12-12 Enrico Tassifixed coercions tree | commitdiff
2005-12-09 Claudio Sacerdoti... Bug fixed: errors of phase 7 were no longer printed :-) tree | commitdiff
2005-12-09 Stefano Zacchirolicommented out some debugging prints tree | commitdiff
2005-12-09 Stefano Zacchiroliimplemented copy/cut/paste/delete/pastePattern tree | commitdiff
2005-12-09 Enrico Tassificed include and -I tree | commitdiff
2005-12-07 Claudio Sacerdoti... More compact disambiguation errors. tree | commitdiff
2005-12-07 Enrico Tassisince the moo content is not OK... we need an hack. tree | commitdiff
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion... tree | commitdiff
2005-12-05 Claudio Sacerdoti... eval_from_stream_greedy finally got rid of! tree | commitdiff
2005-12-05 Claudio Sacerdoti... 1. Several files in grafite that should be in grafite_p... tree | commitdiff
2005-12-03 Claudio Sacerdoti... metadata are no longer stored in .moo files. tree | commitdiff
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in... tree | commitdiff
2005-11-30 Claudio Sacerdoti... moved coercions away (work in progress) 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... 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 Ferruccio Guidicoa continued tree | commitdiff
2005-11-28 Enrico Tassiadded comment tree | commitdiff
2005-11-28 Claudio Sacerdoti... DisambiguationError exceptions (that have locations... tree | commitdiff
2005-11-27 Stefano Zacchiroliremoved dead code (thanks to ocaml 3.09) tree | commitdiff
2005-11-26 Ferruccio Guidicoimplication (continued) 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-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-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries, matita changed... tree | commitdiff
2005-11-24 Stefano Zacchiroliadded missing dependency tree | commitdiff
2005-11-23 Claudio Sacerdoti... New implementation for localized exceptions. tree | commitdiff
2005-11-23 Claudio Sacerdoti... ... tree | commitdiff
2005-11-22 Stefano Zacchirolibugfix: return unshared sequent when applying cic ... tree | commitdiff
2005-11-22 Claudio Sacerdoti... Error messages improved. 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
2005-11-21 Claudio Sacerdoti... Lost of redundant typing hints removed from the functio... tree | commitdiff
2005-11-21 Claudio Sacerdoti... New proof based on an hand-made functional induction. tree | commitdiff
2005-11-21 Claudio Sacerdoti... Useful lemma added. tree | commitdiff
2005-11-21 Ferruccio Guidiinternal quantification fixed tree | commitdiff
2005-11-19 Ferruccio Guiditheorems about equality in classes tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.