]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaScript.mli
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / matita / matitaScript.mli
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2006-01-12 Enrico Tassifixed coercions undoooing commit | commitdiff
2006-01-09 Claudio Sacerdoti... Stupid bug of mine fixed: sometimes (Some ~-1) was... commit | commitdiff
2006-01-08 Claudio Sacerdoti... Bug fixed: macros in the middle of a goto cursor or... commit | commitdiff
2005-12-21 Claudio Sacerdoti... Huge reorganization of matita and ocaml. commit | commitdiff
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion... commit | commitdiff
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in... commit | commitdiff
2005-11-23 Claudio Sacerdoti... New implementation for localized exceptions. commit | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals commit | commitdiff
2005-07-27 Claudio Sacerdoti... Bug fixed: added a _undoable_action critical section... commit | commitdiff
2005-07-27 Stefano Zacchiroliadded #proofConclusion commit | commitdiff
2005-07-25 Claudio Sacerdoti... Bug solved: X-style paste (i.e. paste of the PRIMARY... commit | commitdiff
2005-07-22 Claudio Sacerdoti... When matita is started on a non-existent file, it avoid... commit | commitdiff
2005-07-19 Claudio Sacerdoti... Bug fix: undo now respects the locked area. commit | commitdiff
2005-07-18 Claudio Sacerdoti... Smart scrolling during script advancement implemented. commit | commitdiff
2005-07-15 Enrico Tassimatitamake is integrated with matita commit | commitdiff
2005-07-13 Enrico Tassicopied text is unlocked :) commit | commitdiff
2005-07-06 Enrico Tassiadded script template commit | commitdiff
2005-07-06 Enrico Tassimatita now asks to save .moo if possible or cleans... commit | commitdiff
2005-07-04 Enrico Tassiaded confirmation dialog for baseuri redefinement commit | commitdiff
2005-06-30 Stefano Zacchirolibetter handling of script names commit | commitdiff
2005-06-27 Enrico Tassiadded autosave and * (modified feature) commit | commitdiff
2005-06-17 Claudio Sacerdoti... many strings that are supposed to be URIs are now UriMa... commit | commitdiff
2005-05-16 Enrico Tassiadded comments, fixed history, added loadList to browser commit | commitdiff
2005-04-28 Enrico Tassiattached macros: hint(partial), check commit | commitdiff
2005-04-27 Stefano Zacchirolichecked in new version of matita from svn commit | commitdiff
2005-04-27 Stefano Zacchiroliremoved all old matita files (kept in attic) commit | commitdiff
2005-02-10 Stefano Zacchirolibugfix: method 'advance' now took in input concrete... commit | commitdiff
2005-02-09 Stefano Zacchiroliadded script support a la coqide commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.