]> matita.cs.unibo.it Git - helm.git/history - matita/matita/matitaGui.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / matita / matita / matitaGui.ml
2023-02-14 Claudio Sacerdoti... Ctr-C/break button behaviour fixed commit | commitdiff
2023-02-14 Claudio Sacerdoti... Dune sites used to locate the standard library commit | commitdiff
2023-02-14 Claudio Sacerdoti... Worker thread killing fixed commit | commitdiff
2023-02-14 Claudio Sacerdoti... Ctr-C now is equivalent to pressing the Break button commit | commitdiff
2023-02-14 Claudio Sacerdoti... Avoid race conditions (deadlocks) commit | commitdiff
2023-02-14 Claudio Sacerdoti... Porting to ocaml 5 commit | commitdiff
2023-02-14 Claudio Sacerdoti... Ctr-C/break button behaviour fixed commit | commitdiff
2023-01-03 Claudio Sacerdoti... Dune sites used to locate the standard library commit | commitdiff
2022-12-30 Claudio Sacerdoti... Worker thread killing fixed commit | commitdiff
2022-12-30 Claudio Sacerdoti... Ctr-C now is equivalent to pressing the Break button commit | commitdiff
2022-12-30 Claudio Sacerdoti... Avoid race conditions (deadlocks) commit | commitdiff
2022-12-30 Claudio Sacerdoti... Porting to ocaml 5 commit | commitdiff
2019-10-18 Ferruccio GuidiMerge remote-tracking branch 'origin/ld-0.99.3' commit | commitdiff
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3' commit | commitdiff
2019-09-27 Claudio Sacerdoti... debugging code removed commit | commitdiff
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3 commit | commitdiff
2019-09-27 Andrea BerlingieriMany changes commit | commitdiff
2019-09-27 Claudio Sacerdoti... Most warnings turned into errors and avoided commit | commitdiff
2019-09-27 Claudio Sacerdoti... Quit without saving dialog fixed commit | commitdiff
2019-09-27 Claudio Sacerdoti... useful comment commit | commitdiff
2019-09-27 Claudio Sacerdoti... use #run for dialog commit | commitdiff
2019-09-27 Claudio Sacerdoti... disambiguationErrors now uses #run commit | commitdiff
2019-09-27 Claudio Sacerdoti... code for DisambiguationErrors simplified commit | commitdiff
2019-09-27 Claudio Sacerdoti... Fix dialog win commit | commitdiff
2019-09-27 Claudio Sacerdoti... On-going porting to lablgtk3 commit | commitdiff
2018-12-27 Claudio Sacerdoti... Most warnings turned into errors and avoided commit | commitdiff
2018-12-26 Claudio Sacerdoti... Quit without saving dialog fixed commit | commitdiff
2018-12-26 Claudio Sacerdoti... useful comment commit | commitdiff
2018-12-26 Claudio Sacerdoti... use #run for dialog commit | commitdiff
2018-12-24 Claudio Sacerdoti... disambiguationErrors now uses #run commit | commitdiff
2018-12-22 Claudio Sacerdoti... code for DisambiguationErrors simplified commit | commitdiff
2018-12-21 Claudio Sacerdoti... Fix dialog win commit | commitdiff
2018-12-19 Claudio Sacerdoti... On-going porting to lablgtk3 commit | commitdiff
2013-04-08 Claudio Sacerdoti... Patch by Paolo Tranquilli. It fixes the following probl... commit | commitdiff
2012-06-08 Claudio Sacerdoti... Msg reporting via HLogger in the error window made... commit | commitdiff
2011-11-18 Claudio Sacerdoti... * Almost ready for release 0.99.1. commit | commitdiff
2011-01-11 Enrico Tassictrl+pgUp/Down to navigate tabs commit | commitdiff
2011-01-11 Enrico Tassictrl+pgUp/Down to navigate tabs commit | commitdiff
2011-01-11 Claudio Sacerdoti... Bug fixed: the newScript method must be called only... commit | commitdiff
2011-01-11 Claudio Sacerdoti... Stupid bug fixed (introduced a couple of commits ago... commit | commitdiff
2011-01-10 Claudio Sacerdoti... code simplification commit | commitdiff
2010-12-28 Claudio Sacerdoti... Interface reduction; code clean up. commit | commitdiff
2010-12-28 Claudio Sacerdoti... code simplification commit | commitdiff
2010-12-28 Claudio Sacerdoti... Dead code removed. commit | commitdiff
2010-12-28 Claudio Sacerdoti... More code clean-up. commit | commitdiff
2010-12-28 Claudio Sacerdoti... Useless code removed; interfaces simplified; etc. commit | commitdiff
2010-12-27 Claudio Sacerdoti... 1. reset of statuses simplified commit | commitdiff
2010-12-23 Claudio Sacerdoti... Really A LOT of code to add close buttons to the tab... commit | commitdiff
2010-12-23 Claudio Sacerdoti... Implemented standard semantics of Load in MTI: loading... commit | commitdiff
2010-12-23 Claudio Sacerdoti... 1. MatitaGuiTypes.gui interface streamlined commit | commitdiff
2010-12-21 Claudio Sacerdoti... Useless code removed. commit | commitdiff
2010-12-21 Claudio Sacerdoti... When switching to a new script, the other parts of... commit | commitdiff
2010-12-21 Claudio Sacerdoti... VERY EXPERIMENTAL: commit | commitdiff
2010-12-20 Claudio Sacerdoti... Large commit: refactoring of the code of the interface. commit | commitdiff
2010-12-20 Claudio Sacerdoti... First steps towards a multi-document interface. commit | commitdiff
2010-12-18 Claudio Sacerdoti... 1) matitaMathView.ml splitted into cicMathView.ml ... commit | commitdiff
2010-12-16 Claudio Sacerdoti... Large commit: commit | commitdiff
2010-11-05 Andrea AspertiHuge change!!! commit | commitdiff
2010-11-04 Claudio Sacerdoti... - content/interpretations.ml and ng_cic_content/nTermCi... commit | commitdiff
2010-11-03 Andrea Asperti- LexiconAst merged into GrafiteAst commit | commitdiff
2010-10-29 Claudio Sacerdoti... Bug fixed: a missing eta-expansion raised an assert... commit | commitdiff
2010-10-29 Claudio Sacerdoti... WARNING: partial commit. commit | commitdiff
2010-10-27 Andrea AspertiDead code for .moo files removed. commit | commitdiff
2010-10-26 Andrea Aspertiurimanager removed commit | commitdiff
2010-10-07 Andrea Asperti- cic_exportation, cic_acic, acic_content (only parts... commit | commitdiff
2010-10-07 Andrea Aspertiacic_procedural and tactics removed commit | commitdiff
2010-10-05 Andrea AspertiFont resizing and syntax highlighting re-activated... commit | commitdiff
2010-10-05 Andrea Asperti- matitaWiki removed commit | commitdiff
2010-10-01 Andrea AspertiMathML widget no longer used. Requesciat in pacem commit | commitdiff
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita. commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.