]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use source and licence accepted by opam
2023-01-02 Claudio Sacerdoti... Use source and licence accepted by opam
 commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... Install what is needed by Matita (but not used yet!)
 commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... make_table is now private (= not installed)
 commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... I forgot Luca among the authors!
 commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... Enable "dune build -p matita" + version bumped to 0...
commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... Generated files (for dune) added to .gitignore
 commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... Fix "dune build" for syntax_extensions
 commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... Preliminary support for dune
 commit | commitdiff | tree
2023-01-02 Claudio Sacerdoti... Use of standard OCaml syntax
 commit | commitdiff | tree
2022-12-30 Claudio Sacerdoti... Worker thread killing fixed
 commit | commitdiff | tree
2022-12-30 Claudio Sacerdoti... Ctr-C now is equivalent to pressing the Break button
 commit | commitdiff | tree
2022-12-30 Claudio Sacerdoti... Avoid race conditions (deadlocks)
 commit | commitdiff | tree
2022-12-30 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
next
Unnamed repository; edit this file 'description' to name the repository.