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.
Wed, 17 Nov 2010 11:38:47 +0100 fixed typo
changeset
haftmann [Wed, 17 Nov 2010 11:38:47 +0100] rev 40586
fixed typo
Wed, 17 Nov 2010 11:38:46 +0100 updated keywords
changeset
haftmann [Wed, 17 Nov 2010 11:38:46 +0100] rev 40585
updated keywords
Wed, 17 Nov 2010 11:27:48 +0100 ML signature interface
changeset
haftmann [Wed, 17 Nov 2010 11:27:48 +0100] rev 40584
ML signature interface
Wed, 17 Nov 2010 11:26:39 +0100 stub for Isar command interface
changeset
haftmann [Wed, 17 Nov 2010 11:26:39 +0100] rev 40583
stub for Isar command interface
Wed, 17 Nov 2010 11:09:18 +0100 module for functorial mappers
changeset
haftmann [Wed, 17 Nov 2010 11:09:18 +0100] rev 40582
module for functorial mappers
Wed, 17 Nov 2010 13:39:30 +0100 merged
changeset
wenzelm [Wed, 17 Nov 2010 13:39:30 +0100] rev 40581
merged
Wed, 17 Nov 2010 09:22:23 +0100 require the b2i file ending in the boogie_open command (for consistency with the theory header)
changeset
boehmes [Wed, 17 Nov 2010 09:22:23 +0100] rev 40580
require the b2i file ending in the boogie_open command (for consistency with the theory header)
Wed, 17 Nov 2010 08:14:56 +0100 use the const antiquotation for constants (this checks that the constant is declared, whereas the more general term antiquotation treats undeclared names as free variable)
changeset
boehmes [Wed, 17 Nov 2010 08:14:56 +0100] rev 40579
use the const antiquotation for constants (this checks that the constant is declared, whereas the more general term antiquotation treats undeclared names as free variable)
Wed, 17 Nov 2010 08:14:55 +0100 keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
changeset
boehmes [Wed, 17 Nov 2010 08:14:55 +0100] rev 40578
keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
Tue, 16 Nov 2010 12:08:28 -0800 add lemmas about powerdomains
changeset
huffman [Tue, 16 Nov 2010 12:08:28 -0800] rev 40577
add lemmas about powerdomains
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle