| Wed, 03 Nov 2010 11:33:51 +0100 |
wenzelm |
discontinued obsolete function sys_error and exception SYS_ERROR;
|
file |
diff |
annotate
|
| Sun, 31 Oct 2010 11:45:45 +0100 |
nipkow |
merged
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 17:57:36 +0200 |
nipkow |
Plus -> Sum_Type.Plus
|
file |
diff |
annotate
|
| Sat, 30 Oct 2010 21:08:20 +0200 |
wenzelm |
support for real valued preferences;
|
file |
diff |
annotate
|
| Sat, 30 Oct 2010 16:33:58 +0200 |
wenzelm |
support for real valued configuration options;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:07:21 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 08:44:46 +0200 |
bulwahn |
NEWS
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 23:19:52 +0200 |
wenzelm |
discontinued obsolete ML antiquotation @{theory_ref};
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 15:06:36 +0200 |
krauss |
fixed typo
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 13:50:18 +0200 |
krauss |
NEWS
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 11:45:12 +0200 |
boehmes |
joined setup of SMT solvers in one place; turned Z3-specific options into SMT options (renamed configuration options from z3_* to smt_*); more detailed SMT exception; improved SMT filter interface
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:18:00 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:17:16 +0200 |
wenzelm |
significantly improved Isabelle/Isar implementation manual;
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 11:42:05 +0200 |
blanchet |
merged
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 10:30:46 +0200 |
blanchet |
introduced manual version of "Auto Solve" as "solve_direct"
|
file |
diff |
annotate
|