]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
reverse_complexity lib restored
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
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
2013-12-02 Claudio Sacerdoti... Some progress in the correctness proof and a bug fixed.
 commit | commitdiff | tree
2013-05-31 matitawebNuovi files
 commit | commitdiff | tree
2013-05-30 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-05-30 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-05-29 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-30 Claudio Sacerdoti... Bumped to 0.99.2.
 commit | commitdiff | tree
2013-04-30 Claudio Sacerdoti... Missing include.
 commit | commitdiff | tree
2013-04-30 Claudio Sacerdoti... Old version dropped.
 commit | commitdiff | tree
2013-04-30 matitawebcommit by user ricciott
 commit | commitdiff | tree
2013-04-27 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-27 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-27 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-27 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-26 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-19 matitawebcommit by user lroversi
 commit | commitdiff | tree
2013-04-17 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-10 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-10 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-10 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-10 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-04-08 Claudio Sacerdoti... Patch by Paolo Tranquilli. It fixes the following problem...
commit | commitdiff | tree
2013-04-08 matitawebcommit by user andrea
 commit | commitdiff | tree
2013-03-04 Claudio Sacerdoti... Bug fixed: let-rec defined propositions are no longer...
commit | commitdiff | tree
2013-02-27 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when...
commit | commitdiff | tree
2013-02-27 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when...
commit | commitdiff | tree
2013-02-27 Claudio Sacerdoti... Bug fixed: composite coercions were not extracted.
 commit | commitdiff | tree
2013-02-27 Claudio Sacerdoti... Bug fixed that reveals a new one: in case of inductive...
commit | commitdiff | tree
2013-02-27 Claudio Sacerdoti... Ferruccio's removal of objects commented out because...
commit | commitdiff | tree
2013-02-05 Claudio Sacerdoti... Bug fixed: .ml/.mli files were opened/closed even when...
commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... Bug fixed: "open X" were not printed in .mli because...
commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... Flushing needed before closing the channel.
 commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... Improved exception handling.
 commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... Bug fixed in pretty printing of mutual inductive types.
 commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... Bug fixed: the indty can be typed with a Prod, not...
commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... New option -extract_ocaml to extract to ocaml files.
 commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... Pretty printing of ocaml files slightly improved.
 commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... Last known bug unrelated to names fixed: a fixpoint...
commit | commitdiff | tree
2013-02-04 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2013-02-02 Claudio Sacerdoti... Makefile to extract to ocaml code.
 commit | commitdiff | tree
2013-02-02 Claudio Sacerdoti... Oops, part of last commit (ocaml extraction implementation)
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.