]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Avoid race conditions (deadlocks)
2023-02-14 Claudio Sacerdoti... Avoid race conditions (deadlocks)
 commit | commitdiff | tree
2023-02-14 Claudio Sacerdoti... Porting to ocaml 5
 commit | commitdiff | tree
2019-10-16 Claudio Sacerdoti... Update online helper entries
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... debugging code removed
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... porting to recent ocaml
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... lablgtk3.sourceview3 => lablgtk3-sourceview3
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... finite_lambda restored
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... reverse_complexity lib restored
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... make depend.opt
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... make dist repaired
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... version upgrade
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... added missing libs detection
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Most warnings turned into errors and avoided
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... 0.99.3 -> 0.99.4
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... report_error dialog ported to gtk3
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Quit without saving dialog fixed
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... useful comment
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... automatically inserted aliases
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Matita 0.99.* bug fixed: new alias insertion
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... use #run for dialog
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Let the widget expand in the old way
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Old glade2 file removed
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Broken libs moved to broken_lib
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... lablgladecc => lablgladecc3
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... disambiguationErrors now uses #run
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... code for DisambiguationErrors simplified
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... several dialog boxes no longer used removed
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... last deprecated widget updated
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... findReplace ported from GtkTable to GtkGrid
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... More H/V deprecated widgets replaced
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... GtkHSeparator deprecated
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... HandleBox deprecated and no longer working
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... comment
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Fixes to show coercion graph
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Fix dialog win
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... Use lablgladecc -embed again
 commit | commitdiff | tree
2019-09-27 Claudio Sacerdoti... On-going porting to lablgtk3
 commit | commitdiff | tree
2018-12-28 Claudio Sacerdoti... finite_lambda restored
 commit | commitdiff | tree
2018-12-28 Claudio Sacerdoti... reverse_complexity lib restored
 commit | commitdiff | tree
2018-12-28 Claudio Sacerdoti... make depend.opt
 commit | commitdiff | tree
2018-12-27 Claudio Sacerdoti... make dist repaired
 commit | commitdiff | tree
2018-12-27 Claudio Sacerdoti... version upgrade
 commit | commitdiff | tree
2018-12-27 Claudio Sacerdoti... added missing libs detection
 commit | commitdiff | tree
2018-12-27 Claudio Sacerdoti... Most warnings turned into errors and avoided
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... 0.99.3 -> 0.99.4
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... report_error dialog ported to gtk3
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... Quit without saving dialog fixed
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... useful comment
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... automatically inserted aliases
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... Matita 0.99.* bug fixed: new alias insertion
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... use #run for dialog
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... Let the widget expand in the old way
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... Old glade2 file removed
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... Broken libs moved to broken_lib
 commit | commitdiff | tree
2018-12-26 Claudio Sacerdoti... lablgladecc => lablgladecc3
 commit | commitdiff | tree
2018-12-24 Claudio Sacerdoti... disambiguationErrors now uses #run
 commit | commitdiff | tree
2018-12-22 Claudio Sacerdoti... code for DisambiguationErrors simplified
 commit | commitdiff | tree
2018-12-22 Claudio Sacerdoti... several dialog boxes no longer used removed
 commit | commitdiff | tree
2018-12-22 Claudio Sacerdoti... last deprecated widget updated
 commit | commitdiff | tree
2018-12-22 Claudio Sacerdoti... findReplace ported from GtkTable to GtkGrid
 commit | commitdiff | tree
2018-12-21 Claudio Sacerdoti... More H/V deprecated widgets replaced
 commit | commitdiff | tree
2018-12-21 Claudio Sacerdoti... GtkHSeparator deprecated
 commit | commitdiff | tree
2018-12-21 Claudio Sacerdoti... HandleBox deprecated and no longer working
 commit | commitdiff | tree
2018-12-21 Claudio Sacerdoti... comment
 commit | commitdiff | tree
2018-12-21 Claudio Sacerdoti... Fixes to show coercion graph
 commit | commitdiff | tree
2018-12-21 Claudio Sacerdoti... Fix dialog win
 commit | commitdiff | tree
2018-12-20 Claudio Sacerdoti... Use lablgladecc -embed again
 commit | commitdiff | tree
2018-12-19 Claudio Sacerdoti... On-going porting to lablgtk3
 commit | commitdiff | tree
2017-12-28 Claudio Sacerdoti... Horrible workaround
 commit | commitdiff | tree
2017-12-28 Claudio Sacerdoti... .depend{.opt} files changed
 commit | commitdiff | tree
2017-12-28 Claudio Sacerdoti... Patch to make it compile with recent OCaml
 commit | commitdiff | tree
2017-12-28 Claudio Sacerdoti... added .gitignore
 commit | commitdiff | tree
2017-12-28 Claudio Sacerdoti... patch to make it compile with recent OCaml versions
 commit | commitdiff | tree
2017-12-28 Claudio Sacerdoti... strange bug-fix to allow compilation on recent ocaml...
commit | commitdiff | tree
2017-12-28 Claudio Sacerdoti... Stupid fix to avoid new camlp5 bug with int64 literals
 commit | commitdiff | tree
2017-12-27 Claudio Sacerdoti... Patch to make it work with new versions of lablgtk2
 commit | commitdiff | tree
2016-05-24 Claudio Sacerdoti... added config.ac to the tarball for debian packages
 commit | commitdiff | tree
2015-01-07 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2014-12-23 Claudio Sacerdoti... check removed
 commit | commitdiff | tree
2014-12-23 Claudio Sacerdoti... 0.5.9 released
 commit | commitdiff | tree
2014-10-21 Claudio Sacerdoti... Typos.
 commit | commitdiff | tree
2014-09-17 Claudio Sacerdoti... lablgtksourceview2 integrated into lablgtk2
 commit | commitdiff | tree
2014-09-11 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2014-09-11 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2014-09-10 Claudio Sacerdoti... New chapter on setoids.
 commit | commitdiff | tree
2014-09-10 Claudio Sacerdoti... chapter12 (coinductive) -> chapter13
 commit | commitdiff | tree
2014-08-29 Claudio Sacerdoti... Notes.
 commit | commitdiff | tree
2014-08-29 Claudio Sacerdoti... A tentative chaptern on coinductive types.
 commit | commitdiff | tree
2014-03-07 Claudio Sacerdoti... Code changed a bit to make it work as before with OCaml...
commit | commitdiff | tree
2014-03-07 Claudio Sacerdoti... Do not assert false for a print not implemented yet.
 commit | commitdiff | tree
2014-03-07 Claudio Sacerdoti... Hocus-pocus code to use the old (and deprecated) implementat...
commit | commitdiff | tree
2014-03-04 Claudio Sacerdoti... Inclusions improved to allow compilation from the toplevel.
 commit | commitdiff | tree
2014-03-04 Claudio Sacerdoti... Bug fixed: the tactic to analyze the term and understand...
commit | commitdiff | tree
2014-03-04 Claudio Sacerdoti... OCaml 4.0 detects a not handled case.
 commit | commitdiff | tree
2014-03-04 Claudio Sacerdoti... Different behaviour of OCaml 4.0.
 commit | commitdiff | tree
2014-02-27 Claudio Sacerdoti... Porting of HOTT from Coq to Matita.
 commit | commitdiff | tree
2013-12-02 Claudio Sacerdoti... 1. more bugs fixed
 commit | commitdiff | tree
2013-12-02 Claudio Sacerdoti... More progress.
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.