Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Tue, 05 Oct 2010 11:14:56 +0200
clean up debugging output
changeset
blanchet [Tue, 05 Oct 2010 11:14:56 +0200] rev 39952
clean up debugging output
Tue, 05 Oct 2010 11:10:37 +0200
factor out "ATP" from "Sledgehammer" (cf. "SAT" vs. "Refute", etc.) -- the theories now reflect the directory structure
changeset
blanchet [Tue, 05 Oct 2010 11:10:37 +0200] rev 39951
factor out "ATP" from "Sledgehammer" (cf. "SAT" vs. "Refute", etc.) -- the theories now reflect the directory structure
Tue, 05 Oct 2010 10:59:12 +0200
got rid of overkill "meson_choice" attribute;
changeset
blanchet [Tue, 05 Oct 2010 10:59:12 +0200] rev 39950
got rid of overkill "meson_choice" attribute; tuning
Tue, 05 Oct 2010 10:30:50 +0200
more explicit name
changeset
blanchet [Tue, 05 Oct 2010 10:30:50 +0200] rev 39949
more explicit name
Tue, 05 Oct 2010 10:28:11 +0200
factor out "Meson_Tactic" from "Meson_Clausify"
changeset
blanchet [Tue, 05 Oct 2010 10:28:11 +0200] rev 39948
factor out "Meson_Tactic" from "Meson_Clausify"
Mon, 04 Oct 2010 22:51:53 +0200
tuning
changeset
blanchet [Mon, 04 Oct 2010 22:51:53 +0200] rev 39947
tuning
Mon, 04 Oct 2010 22:45:09 +0200
move Metis into Plain
changeset
blanchet [Mon, 04 Oct 2010 22:45:09 +0200] rev 39946
move Metis into Plain
Mon, 04 Oct 2010 22:01:34 +0200
added "Meson" theory to Makefile
changeset
blanchet [Mon, 04 Oct 2010 22:01:34 +0200] rev 39945
added "Meson" theory to Makefile
Mon, 04 Oct 2010 21:57:23 +0200
update authors
changeset
blanchet [Mon, 04 Oct 2010 21:57:23 +0200] rev 39944
update authors
Mon, 04 Oct 2010 21:55:54 +0200
remove Meson from Hilbert_Choice
changeset
blanchet [Mon, 04 Oct 2010 21:55:54 +0200] rev 39943
remove Meson from Hilbert_Choice
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip