]> matita.cs.unibo.it Git - helm.git/history - matita/matita/matitaScript.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Avoid race conditions (deadlocks)
[helm.git] / matita / matita / matitaScript.ml
2022-12-30 Claudio Sacerdoti... Avoid race conditions (deadlocks) blob | commitdiff | raw
2022-12-30 Claudio Sacerdoti... Porting to ocaml 5 blob | commitdiff | raw | diff to current
2019-10-18 Ferruccio GuidiMerge remote-tracking branch 'origin/ld-0.99.3' blob | commitdiff | raw | diff to current
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3' blob | commitdiff | raw | diff to current
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3 blob | commitdiff | raw | diff to current
2019-09-27 Claudio Sacerdoti... Most warnings turned into errors and avoided blob | commitdiff | raw | diff to current
2019-09-27 Claudio Sacerdoti... On-going porting to lablgtk3 blob | commitdiff | raw | diff to current
2018-12-27 Claudio Sacerdoti... Most warnings turned into errors and avoided blob | commitdiff | raw | diff to current
2018-12-19 Claudio Sacerdoti... On-going porting to lablgtk3 blob | commitdiff | raw | diff to current
2015-10-29 Ferruccio Guidi- matita: computed auto traces now include the "width... blob | commitdiff | raw | diff to current
2014-03-07 Claudio Sacerdoti... Code changed a bit to make it work as before with OCaml... blob | commitdiff | raw | diff to current
2013-04-17 Wilmer RicciottiFixes a bug which caused Meta_not_found exceptions... blob | commitdiff | raw | diff to current
2013-02-01 Ferruccio Guidi- ng_refiner: blob | commitdiff | raw | diff to current
2011-11-18 Claudio Sacerdoti... The macro /by _/ now expands again to something parsable. blob | commitdiff | raw | diff to current
2011-11-18 Claudio Sacerdoti... intros macro fixed blob | commitdiff | raw | diff to current
2011-07-19 Ferruccio Guidi- nnAuto.ml: width overflows are warnings, not errors blob | commitdiff | raw | diff to current
2011-07-15 Claudio Sacerdoti... Use replace when switching tabs (see previous commit). blob | commitdiff | raw | diff to current
2011-03-22 Claudio Sacerdoti... Bug fixed and code refactoring: now both matitac and... blob | commitdiff | raw | diff to current
2011-01-14 Claudio Sacerdoti... Bug fixed: the script windows did not scroll correctly... blob | commitdiff | raw | diff to current
2011-01-11 Claudio Sacerdoti... Part of last HUGE COMMIT about NCic.status blob | commitdiff | raw | diff to current
2010-12-28 Claudio Sacerdoti... Interface reduction; code clean up. blob | commitdiff | raw | diff to current
2010-12-28 Claudio Sacerdoti... Useless code removed; interfaces simplified; etc. blob | commitdiff | raw | diff to current
2010-12-27 Claudio Sacerdoti... 1. reset of statuses simplified blob | commitdiff | raw | diff to current
2010-12-27 Claudio Sacerdoti... Some comments (new problems found). blob | commitdiff | raw | diff to current
2010-12-23 Claudio Sacerdoti... 1. MatitaGuiTypes.gui interface streamlined blob | commitdiff | raw | diff to current
2010-12-21 Claudio Sacerdoti... Useless code removed. blob | commitdiff | raw | diff to current
2010-12-21 Claudio Sacerdoti... Dead code removed. blob | commitdiff | raw | diff to current
2010-12-21 Claudio Sacerdoti... When switching to a new script, the other parts of... blob | commitdiff | raw | diff to current
2010-12-21 Claudio Sacerdoti... VERY EXPERIMENTAL: blob | commitdiff | raw | diff to current
2010-12-20 Claudio Sacerdoti... Large commit: refactoring of the code of the interface. blob | commitdiff | raw | diff to current
2010-12-20 Claudio Sacerdoti... First steps towards a multi-document interface. blob | commitdiff | raw | diff to current
2010-12-19 Claudio Sacerdoti... Class mathViewer got rid of. The circular dependency... blob | commitdiff | raw | diff to current
2010-12-19 Claudio Sacerdoti... 1. Method screenshot moved to CicMathView where it... blob | commitdiff | raw | diff to current
2010-12-10 Claudio Sacerdoti... Previous patch improved: we now use an ad-hoc wrapper... blob | commitdiff | raw | diff to current
2010-12-10 Claudio Sacerdoti... BIG BUG FIXED (???): in place of using Grammar.Entry... blob | commitdiff | raw | diff to current
2010-11-22 Andrea AspertiSmall improvement: check now takes the context of the... blob | commitdiff | raw | diff to current
2010-11-05 Andrea AspertiHuge change!!! blob | commitdiff | raw | diff to current
2010-11-05 Andrea Asperti- better names, interface simplified blob | commitdiff | raw | diff to current
2010-11-05 Andrea Asperti- matitacLib merged into matitaEngine blob | commitdiff | raw | diff to current
2010-11-05 Andrea Aspertidead code removal: the parser used to be able to return... blob | commitdiff | raw | diff to current
2010-11-04 Claudio Sacerdoti... - further simplifications (??) of the status dependencies blob | commitdiff | raw | diff to current
2010-11-03 Enrico Tassinotation kind of works blob | commitdiff | raw | diff to current
2010-11-03 Andrea Asperti- LexiconAst merged into GrafiteAst blob | commitdiff | raw | diff to current
2010-10-26 Andrea Aspertiurimanager removed blob | commitdiff | raw | diff to current
2010-10-22 Andrea AspertiBug fixed: it always made an undo to the empty status... blob | commitdiff | raw | diff to current
2010-10-15 Claudio Sacerdoti... - grafiteSync no longer used blob | commitdiff | raw | diff to current
2010-10-13 Andrea AspertiPropagation of changes to grafiteAst. blob | commitdiff | raw | diff to current
2010-10-08 Andrea AspertiCic.term and Cic.obj unused! blob | commitdiff | raw | diff to current
2010-10-08 Andrea Asperti- hmysql removed (RIP) blob | commitdiff | raw | diff to current
2010-10-08 Andrea AsperticicNotation* ==> notation* blob | commitdiff | raw | diff to current
2010-10-07 Andrea Asperti- cic_exportation, cic_acic, acic_content (only parts... blob | commitdiff | raw | diff to current
2010-10-07 Andrea Asperticic_unification removed blob | commitdiff | raw | diff to current
2010-10-07 Andrea Aspertiacic_procedural and tactics removed blob | commitdiff | raw | diff to current
2010-10-05 Andrea Asperti- parser: "whelp ...Â"removed blob | commitdiff | raw | diff to current
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita. blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.