]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
avoid writing in read only baseuris
[helm.git] / helm / matita /
2006-01-09 Stefano Zacchiroliadded cleaning of .lexicon and .metadata files tree | commitdiff
2006-01-09 Claudio Sacerdoti... Bux fixed: matita did not save the .lexicon files!... tree | commitdiff
2006-01-09 Claudio Sacerdoti... Stupid bug of mine fixed: sometimes (Some ~-1) was... tree | commitdiff
2006-01-08 Claudio Sacerdoti... Bug fixed: the include_paths were no longer handled... tree | commitdiff
2006-01-08 Claudio Sacerdoti... Bug fixed: macros in the middle of a goto cursor or... tree | commitdiff
2006-01-08 Claudio Sacerdoti... Added $Id$ to every .ml file. tree | commitdiff
2006-01-08 Claudio Sacerdoti... .cvsignore files removed (the svn:property property... tree | commitdiff
2006-01-08 Claudio Sacerdoti... 1. Macros are now handled using an execption that is... tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.