| Fri, 05 Nov 2010 21:42:32 +0100 |
wenzelm |
obsolete -- python installation on www4 is not modified (despite remaining "firstline" in graph and syndication views);
|
changeset |
files
|
| Fri, 05 Nov 2010 19:47:20 +0100 |
wenzelm |
explicit indication of some remaining violations of the Isabelle/ML interrupt model;
|
changeset |
files
|
| Fri, 05 Nov 2010 19:39:25 +0100 |
wenzelm |
updated generated file, overwriting 55a1693affb6 whose content appears to be in the thy source already;
|
changeset |
files
|
| Fri, 05 Nov 2010 19:22:04 +0100 |
wenzelm |
proper spelling;
|
changeset |
files
|
| Fri, 05 Nov 2010 15:09:55 +0100 |
hoelzl |
merged
|
changeset |
files
|
| Fri, 05 Nov 2010 14:17:18 +0100 |
hoelzl |
Extend convex analysis by Bogdan Grechuk
|
changeset |
files
|
| Fri, 05 Nov 2010 14:36:17 +0100 |
blanchet |
merged
|
changeset |
files
|
| Fri, 05 Nov 2010 09:49:03 +0100 |
blanchet |
fixed handling of theorem references such as "foo bar" (with quotes), "foo bar(2)", and "foo bar(2)"(2)
|
changeset |
files
|
| Fri, 05 Nov 2010 09:05:22 +0100 |
blanchet |
make Mirabelle work correctly if the prover (e.g. the SMT solver) returns no timing information
|
changeset |
files
|
| Thu, 04 Nov 2010 15:31:26 +0100 |
blanchet |
pass proper type to SMT_Builtin.is_builtin
|
changeset |
files
|
| Thu, 04 Nov 2010 15:30:48 +0100 |
blanchet |
remove " s" suffix since seconds are now implicit
|
changeset |
files
|
| Thu, 04 Nov 2010 14:59:44 +0100 |
blanchet |
ignore facts with only theory constants in them
|
changeset |
files
|
| Thu, 04 Nov 2010 14:59:44 +0100 |
blanchet |
cosmetics
|
changeset |
files
|
| Thu, 04 Nov 2010 14:59:44 +0100 |
blanchet |
use the SMT integration's official list of built-ins
|
changeset |
files
|
| Fri, 05 Nov 2010 14:10:41 +0100 |
haftmann |
added class relation group_add < cancel_semigroup_add
|
changeset |
files
|
| Fri, 05 Nov 2010 09:07:14 +0100 |
bulwahn |
merged
|
changeset |
files
|