descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeThu, 3 Oct 2019 15:14:08 +0000 (17:14 +0200)
shortlog
10 days ago Ferruccio Guidiupdate in ground_2 and basic_2 master
12 days ago Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3'
13 days ago Ferruccio Guidiupdate in ground_2 and basic_2
2019-09-29 Ferruccio Guidimatita gtk3: some bugs fixed matita-lablgtk3
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...
2019-09-29 Ferruccio Guidiupdate in static_2
2019-09-28 Ferruccio Guidiupdate in basic_2
2019-09-27 Claudio Sacerdoti... debugging code removed
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3
2019-09-27 Andrea BerlingieriChange Sort.merge (deprecated) with List.merge
2019-09-27 Andrea BerlingieriTest pretty printg of declarative tactics
2019-09-27 Andrea BerlingieriMake 'that is equivalent to' a standalone tactic
2019-09-27 Andrea BerlingieriMany changes
2019-09-27 Andrea BerlingieriFix indentation
2019-09-27 Andrea BerlingieriAdd support for proving cases in a different order
2019-09-27 Andrea BerlingieriAdd last declarative tactics, modify rewriting tactics
...
tags
4 years ago 0.5.9
10 years ago software
11 years ago 0.5.1
11 years ago 0.5.0-rc1
11 years ago 0.4.98
11 years ago 0.4.98@7921
11 years ago 0.4.97
11 years ago 0.4.97@7895
11 years ago 0.4.96
11 years ago 0.4.96@7881
11 years ago 0.4.95
11 years ago 0.4.95@7852
12 years ago ocaml-http
13 years ago V_0_0_7_2
13 years ago V_0_0_1_2
13 years ago V_0_7_2_3
...
heads
10 days ago master
2 weeks ago matita-lablgtk3
10 years ago ng_paramodulation_CNF
11 years ago universe-declared
11 years ago no-baseuri
11 years ago 0.4.95
11 years ago 0.4.95@7852
13 years ago tests
15 years ago moogle
15 years ago mathql_1_4
15 years ago unlabeled-1.4.2
15 years ago unlabeled-1.2.2
15 years ago unlabeled-1.1.2
15 years ago V7_3_new_exportation
16 years ago unlabeled-1.3.2
16 years ago start
...