]> matita.cs.unibo.it Git - helm.git/history - matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'declarative' into matita-lablgtk3
[helm.git] / matita /
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3 tree | commitdiff
2019-09-27 Andrea BerlingieriChange Sort.merge (deprecated) with List.merge tree | commitdiff
2019-09-27 Andrea BerlingieriTest pretty printg of declarative tactics tree | commitdiff
2019-09-27 Andrea BerlingieriMake 'that is equivalent to' a standalone tactic tree | commitdiff
2019-09-27 Andrea BerlingieriMany changes tree | commitdiff
2019-09-27 Andrea BerlingieriFix indentation tree | commitdiff
2019-09-27 Andrea BerlingieriAdd support for proving cases in a different order tree | commitdiff
2019-09-27 Andrea BerlingieriAdd last declarative tactics, modify rewriting tactics tree | commitdiff
2019-09-27 Andrea BerlingieriChanges to declarative tactics, implementation of equal... tree | commitdiff
2019-09-27 Andrea BerlingieriMany changes tree | commitdiff
2019-09-27 Andrea BerlingieriAdd drafts for some tactics tree | commitdiff
2019-09-27 Andrea BerlingieriPartially restore the suppose tactic tree | commitdiff
2019-09-27 Andrea BerlingieriPartially restore the assume tactic tree | commitdiff
2019-09-27 Claudio Sacerdoti... porting to recent ocaml tree | commitdiff
2019-09-27 Claudio Sacerdoti... ... tree | commitdiff
2019-09-27 Claudio Sacerdoti... lablgtk3.sourceview3 => lablgtk3-sourceview3 tree | commitdiff
2019-09-27 Ferruccio Guidipatches for compilation with ocaml 4.0.5 tree | commitdiff
2019-09-27 Claudio Sacerdoti... finite_lambda restored tree | commitdiff
2019-09-27 Claudio Sacerdoti... reverse_complexity lib restored tree | commitdiff
2019-09-27 Claudio Sacerdoti... make depend.opt tree | commitdiff
2019-09-27 Claudio Sacerdoti... make dist repaired tree | commitdiff
2019-09-27 Claudio Sacerdoti... added missing libs detection tree | commitdiff
2019-09-27 Claudio Sacerdoti... Most warnings turned into errors and avoided tree | commitdiff
2019-09-27 Claudio Sacerdoti... 0.99.3 -> 0.99.4 tree | commitdiff
2019-09-27 Claudio Sacerdoti... report_error dialog ported to gtk3 tree | commitdiff
2019-09-27 Claudio Sacerdoti... Quit without saving dialog fixed tree | commitdiff
2019-09-27 Claudio Sacerdoti... useful comment tree | commitdiff
2019-09-27 Claudio Sacerdoti... automatically inserted aliases tree | commitdiff
2019-09-27 Claudio Sacerdoti... Matita 0.99.* bug fixed: new alias insertion tree | commitdiff
2019-09-27 Claudio Sacerdoti... use #run for dialog tree | commitdiff
2019-09-27 Claudio Sacerdoti... Let the widget expand in the old way tree | commitdiff
2019-09-27 Claudio Sacerdoti... Old glade2 file removed tree | commitdiff
2019-09-27 Claudio Sacerdoti... Broken libs moved to broken_lib tree | commitdiff
2019-09-27 Claudio Sacerdoti... lablgladecc => lablgladecc3 tree | commitdiff
2019-09-27 Claudio Sacerdoti... disambiguationErrors now uses #run tree | commitdiff
2019-09-27 Claudio Sacerdoti... code for DisambiguationErrors simplified tree | commitdiff
2019-09-27 Claudio Sacerdoti... several dialog boxes no longer used removed tree | commitdiff
2019-09-27 Claudio Sacerdoti... last deprecated widget updated tree | commitdiff
2019-09-27 Claudio Sacerdoti... findReplace ported from GtkTable to GtkGrid tree | commitdiff
2019-09-27 Claudio Sacerdoti... More H/V deprecated widgets replaced tree | commitdiff
2019-09-27 Claudio Sacerdoti... GtkHSeparator deprecated tree | commitdiff
2019-09-27 Claudio Sacerdoti... HandleBox deprecated and no longer working tree | commitdiff
2019-09-27 Claudio Sacerdoti... comment tree | commitdiff
2019-09-27 Claudio Sacerdoti... Fixes to show coercion graph tree | commitdiff
2019-09-27 Claudio Sacerdoti... Fix dialog win tree | commitdiff
2019-09-27 Claudio Sacerdoti... Use lablgladecc -embed again tree | commitdiff
2019-09-27 Claudio Sacerdoti... On-going porting to lablgtk3 tree | commitdiff
2019-09-23 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2019-09-18 Ferruccio Guidiupdate in static_2 tree | commitdiff
2019-09-18 Ferruccio Guidiupdate in static_2 and basic_2 tree | commitdiff
2019-09-03 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2019-08-31 Ferruccio Guidiupdate in static_2 and basic_2 tree | commitdiff
2019-08-23 Ferruccio Guidiupdate in ground_2 static_2 basic_2 tree | commitdiff
2019-08-19 Ferruccio Guidistill more additions and corrections for the article tree | commitdiff
2019-07-26 Ferruccio Guidistill more additions and corrections for the article tree | commitdiff
2019-07-20 Ferruccio Guidimore additions and corrections for the article tree | commitdiff
2019-07-15 Ferruccio Guidiadditions and corrections for the article on λδ-2B tree | commitdiff
2019-06-15 Ferruccio Guidiupdating the structures for sorts tree | commitdiff
2019-06-15 Ferruccio Guidisome restyling ... tree | commitdiff
2019-06-02 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2019-05-30 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2019-05-29 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2019-05-16 Ferruccio Guididecentralizing core notation continues ... tree | commitdiff
2019-04-17 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2019-04-16 Ferruccio Guidimilestone in basic_2 with additions in static_2 tree | commitdiff
2019-04-08 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2019-04-05 Ferruccio Guidiupdate in ground_2 static_2 basic_2 tree | commitdiff
2019-03-25 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2019-03-20 Ferruccio Guidiupdate in ground_2 static_2 basic_2 tree | commitdiff
2019-03-04 Ferruccio Guidifirst steps towards decidability of the validity predicate tree | commitdiff
2019-02-04 Ferruccio Guidiminor corrections and updates tree | commitdiff
2019-01-01 Ferruccio Guidithe decentralization of core notation continues ... tree | commitdiff
2018-12-20 Ferruccio Guidixoa utility updated tree | commitdiff
2018-12-17 Ferruccio Guidilist of failing files updated tree | commitdiff
2018-11-08 Ferruccio Guidiupdate in basic_2 and in web site tree | commitdiff
2018-11-06 Ferruccio Guidiupdate in bsasic_2 tree | commitdiff
2018-11-06 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2018-11-05 Ferruccio Guidiupdate in basic_2, static_2, web site tree | commitdiff
2018-11-02 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2018-11-01 Ferruccio Guidimilestone uupdate in basic_2 tree | commitdiff
2018-10-27 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2018-10-15 Ferruccio Guidiauxiliary update in basic_2 tree | commitdiff
2018-10-01 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2018-09-29 Ferruccio Guidiupdate in basic_2 and apps_2 tree | commitdiff
2018-09-27 Ferruccio Guidiupdate in basic_2 and static_2 tree | commitdiff
2018-09-21 Ferruccio Guidimilestone in basic_2, λδ-2A reconstructed tree | commitdiff
2018-09-19 Ferruccio Guidiupdate in ground_2, static_2, basic_2 tree | commitdiff
2018-09-18 Ferruccio Guidiupdate in static_2 and basic_2 tree | commitdiff
2018-09-13 Ferruccio Guididependences for ocaml version 4.05.0 tree | commitdiff
2018-09-12 Ferruccio Guidiupdate in ground_2, static_2, basic_2 tree | commitdiff
2018-09-08 Ferruccio Guidiupdate in static_2 and basic_2 tree | commitdiff
2018-09-01 Ferruccio Guidiupdate in basic_2 and ground_2 tree | commitdiff
2018-08-19 Ferruccio Guidisevere bug found in parallel zeta tree | commitdiff
2018-08-18 Ferruccio Guidisevere bug found in parallel zeta tree | commitdiff
2018-08-16 Ferruccio Guidisevere bug found in parallel zeta tree | commitdiff
2018-08-14 Ferruccio Guidisevere bug found in parallel zeta tree | commitdiff
2018-08-07 Ferruccio Guidicommit in ground_2, static_2, basic_2, apps_2 tree | commitdiff
2018-08-01 Ferruccio Guidiparameter sintax added to axiom statement tree | commitdiff
2018-08-01 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2018-07-28 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.