]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaScript.ml
Added a new section on the logical library.
[helm.git] / helm / matita / matitaScript.ml
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in...
2005-11-30 Claudio Sacerdoti... Implicit aliases are now defined as all the aliases...
2005-11-30 Claudio Sacerdoti... * Undo fixed.
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library...
2005-11-28 Claudio Sacerdoti... DisambiguationError exceptions (that have locations...
2005-11-27 Stefano Zacchiroliremoved dead code (thanks to ocaml 3.09)
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries, matita changed...
2005-11-23 Claudio Sacerdoti... New implementation for localized exceptions.
2005-11-07 Stefano Zacchirolibugfix: no longer raise End_of_file for scripts ending...
2005-11-03 Stefano Zacchirolibetter dependencies among modules and symlinking of...
2005-10-25 Stefano Zacchirolinew tacticals
2005-09-27 Stefano Zacchirolifixed some english typos
2005-09-26 Stefano Zacchiroli- added integrity checks on .moo files
2005-09-23 Claudio Sacerdoti... The new_aliases argument of the functions alias_diff...
2005-09-21 Stefano Zacchiroliported to the new parser interface (Ulexing.lexbuf...
2005-09-15 Claudio Sacerdoti... Yet another implementation of the single aliases /...
2005-09-15 Stefano Zacchirolibugfix: save "~" backup together with the non-~ version...
2005-09-14 Enrico Tassibugfixes:
2005-09-13 Stefano Zacchirolino longer use absolute path for naming notebook labels
2005-09-13 Stefano Zacchirolifixed dummy_floc
2005-09-12 Stefano ZacchiroliAdded support for multiple disambiguation passes.
2005-09-06 Stefano Zacchirolimisc fixes in cic browser queries (pretty printing...
2005-08-31 Claudio Sacerdoti... (** xxx **) ==> (** xxx *)
2005-07-28 Claudio Sacerdoti... This commit re-commits version 1.61, removing the error...
2005-07-28 Claudio Sacerdoti... REVERT OF MY PREVIOUS COMMIT THAT INTRODUCES A CRITICAL...
2005-07-28 Claudio Sacerdoti... Management of automatic insertion of aliases and "goal...
2005-07-27 Claudio Sacerdoti... Bug fixed: added a _undoable_action critical section...
2005-07-27 Enrico Tassifixed matitamake to handle development with names with...
2005-07-27 Enrico TassimatitaMisc.ml
2005-07-27 Stefano Zacchiroliadded #proofConclusion
2005-07-26 Claudio Sacerdoti... typo fixed
2005-07-25 Claudio Sacerdoti... Bug solved: X-style paste (i.e. paste of the PRIMARY...
2005-07-25 Claudio Sacerdoti... Highlighting of parse errors implemented.
2005-07-25 Claudio Sacerdoti... Bug fixed: the _advance method must delete the parsed...
2005-07-22 Claudio Sacerdoti... When matita is started on a non-existent file, it avoid...
2005-07-22 Claudio Sacerdoti... Big changes:
2005-07-21 Claudio Sacerdoti... Regression fixed: goto used to stop (again!) to the...
2005-07-20 Claudio Sacerdoti... Nicer handling of automatic text insertion.
2005-07-20 Claudio Sacerdoti... A "\n" is now prepended to the aliases that are inserte...
2005-07-20 Claudio Sacerdoti... Bug fixed: we used to use iterators on a text that...
2005-07-19 Claudio Sacerdoti... Bug fix: undo now respects the locked area.
2005-07-19 Enrico Tassiblocked undo of authomatic text (template)
2005-07-19 Enrico Tassimatitac now automatically cleans a non empty baseuri
2005-07-18 Claudio Sacerdoti... Bug fixed: clicking on a new position while advancing...
2005-07-18 Claudio Sacerdoti... Smart scrolling during script advancement implemented.
2005-07-18 Claudio Sacerdoti... Turbo-undo implemented! It jumps directly to the final...
2005-07-18 Enrico Tassicompilation of needed modules now outputs to the log...
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck!
2005-07-15 Enrico Tassifixed a specific case in development handling
2005-07-15 Enrico Tassimatitamake is integrated with matita
2005-07-13 Enrico Tassiall interface is locked during advance/retract
2005-07-13 Enrico Tassifixed lock mark
2005-07-13 Enrico Tassicopied text is unlocked :)
2005-07-11 Enrico Tassiadded a flag to do the check of alredy-proved-theorem
2005-07-08 Enrico Tassiit seems the sequent window is refreshed properly now
2005-07-07 Claudio Sacerdoti... Debugging message removed.
2005-07-07 Claudio Sacerdoti... notify was not called when Margin was raised. Fixed.
2005-07-07 Enrico Tassifixed a problem when newScript was called
2005-07-06 Enrico Tassiadded script template
2005-07-06 Enrico Tassimatita now asks to save .moo if possible or cleans...
2005-07-05 Claudio Sacerdoti... Gtk loop was called only when a proof was terminated...
2005-07-05 Enrico Tassiadded mark moving refresh
2005-07-04 Claudio Sacerdoti... notification of changes is now done only at the very...
2005-07-04 Enrico Tassiaded confirmation dialog for baseuri redefinement
2005-07-04 Claudio Sacerdoti... include must not add aliases in the script!
2005-07-04 Claudio Sacerdoti... "include" command implemented.
2005-07-04 Claudio Sacerdoti... alias declarations are now put in the .moo file.
2005-06-30 Stefano Zacchirolibetter handling of script names
2005-06-29 Enrico Tassifixed save/exit stuff
2005-06-27 Enrico Tassiadded autosave and * (modified feature)
2005-06-23 Enrico TassiMuch simpler (and slightly more performant) implementat...
2005-06-17 Claudio Sacerdoti... many strings that are supposed to be URIs are now UriMa...
2005-06-07 Enrico Tassiadded coercions
2005-06-01 Enrico Tassisome cosmetic fixes
2005-05-31 Enrico Tassinew shortcuts
2005-05-30 Andrea Aspertiadded automathic aliases.
2005-05-27 Stefano Zacchiroli- commented out no longer needed macros Redo, Undo...
2005-05-18 Enrico Tassifixed some macros, added test_abort.ma
2005-05-17 Enrico Tassifixed whelp bar
2005-05-16 Enrico Tassiadded comments, fixed history, added loadList to browser
2005-05-03 Enrico Tassiadded instance
2005-05-02 Enrico Tassiadded Match (partially) and sync with the count table
2005-04-28 Enrico Tassiattached macros: hint(partial), check
2005-04-27 Stefano Zacchirolichecked in new version of matita from svn
2005-04-27 Stefano Zacchiroliremoved all old matita files (kept in attic)
2005-02-10 Stefano Zacchirolibugfix: method 'advance' now took in input concrete...
2005-02-09 Stefano Zacchiroliadded script support a la coqide