]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
bugfix, removed an hard coded instances of ocaml ABI version
[helm.git] / helm / matita /
2005-12-26 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassibeauty\! tree | commitdiff
2005-12-24 Enrico Tassibeauty\! tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassimore fix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassiattempt to move nightly profiling to svn tree | commitdiff
2005-12-24 Enrico Tassitest commit tree | commitdiff
2005-12-23 Stefano Zacchiroliupdated tree | commitdiff
2005-12-22 Claudio Sacerdoti... Added parameter first_statement_only to the functions... tree | commitdiff
2005-12-22 Claudio Sacerdoti... alias diffing/insertion is now handled by matitaEngine... tree | commitdiff
2005-12-22 Claudio Sacerdoti... Makefiles made less verbose. tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-21 Claudio Sacerdoti... ... tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.