| Mon, 10 Feb 2014 22:08:18 +0100 |
wenzelm |
discontinued axiomatic 'classes', 'classrel', 'arities';
|
file |
diff |
annotate
|
| Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
| Tue, 04 Feb 2014 01:35:48 +0100 |
blanchet |
removed legacy 'metisFT' method
|
file |
diff |
annotate
|
| Mon, 03 Feb 2014 19:32:02 +0100 |
blanchet |
renamed 'smt' option 'smt_proofs' to avoid clash with 'smt' prover
|
file |
diff |
annotate
|
| Mon, 03 Feb 2014 17:18:38 +0100 |
blanchet |
added new option to documentation
|
file |
diff |
annotate
|
| Thu, 30 Jan 2014 14:37:53 +0100 |
blanchet |
renamed Sledgehammer options for symmetry between positive and negative versions
|
file |
diff |
annotate
|
| Sun, 26 Jan 2014 14:01:19 +0100 |
wenzelm |
discontinued obsolete attribute "standard";
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 22:06:07 +0100 |
wenzelm |
explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 16:59:41 +0100 |
wenzelm |
NEWS for 31afce809794;
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 23:51:26 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 17:14:27 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 15:10:33 +0100 |
wenzelm |
inner syntax token language allows regular quoted strings;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2014 13:51:10 +0100 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Sun, 19 Jan 2014 22:38:17 +0100 |
boehmes |
removed obsolete remote_cvc3 and remote_z3
|
file |
diff |
annotate
|
| Fri, 17 Jan 2014 20:20:20 +0100 |
wenzelm |
clarified @{rail} syntax: prefer explicit \<newline> symbol;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2014 23:25:28 +0100 |
wenzelm |
added \<newline> symbol, which is used for char/string literals in HOL;
|
file |
diff |
annotate
|
| Mon, 13 Jan 2014 20:20:44 +0100 |
wenzelm |
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
|
file |
diff |
annotate
|
| Mon, 13 Jan 2014 18:47:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2014 18:40:49 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 01 Jan 2014 12:57:26 +0100 |
wenzelm |
avoid unicode text, which causes problems when recoding symbols (e.g. via UTF8-Isabelle in Isabelle/jEdit);
|
file |
diff |
annotate
|
| Wed, 01 Jan 2014 01:05:48 +0100 |
haftmann |
fundamental treatment of undefined vs. universally partial replaces code_abort
|
file |
diff |
annotate
|
| Mon, 30 Dec 2013 20:35:17 +0100 |
wenzelm |
added system option "jedit_print_mode";
|
file |
diff |
annotate
|
| Wed, 25 Dec 2013 17:39:07 +0100 |
haftmann |
abolished slightly odd global lattice interpretation for min/max
|
file |
diff |
annotate
|
| Mon, 23 Dec 2013 16:16:36 +0100 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Tue, 17 Dec 2013 11:12:10 +0100 |
immler |
NEWS
|
file |
diff |
annotate
|
| Sun, 15 Dec 2013 15:10:16 +0100 |
haftmann |
disambiguation of interpretation prefixes
|
file |
diff |
annotate
|
| Sat, 14 Dec 2013 17:28:05 +0100 |
wenzelm |
proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 22:56:28 +0100 |
wenzelm |
discontinued legacy_isub_isup;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 22:49:27 +0100 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 20:16:12 +0100 |
wenzelm |
provide @{file_unchecked} in Isabelle/Pure;
|
file |
diff |
annotate
|