| Sun, 23 Feb 2014 10:44:57 +0100 |
haftmann |
NEWS and documentation, including correction of long-overseen "*"
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
dropped long-unused option
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 16:16:21 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 21 Feb 2014 17:00:45 +0100 |
wenzelm |
improved completion based on context information;
|
file |
diff |
annotate
|
| Fri, 21 Feb 2014 00:18:40 +0100 |
blanchet |
NEWS
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 16:56:51 +0100 |
wenzelm |
clarified markup cumulation order (see also 25306d92f4ad and 0009a6ebc83b), e.g. relevant for completion_context;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 16:33:11 +0100 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 11:11:07 +0100 |
traytel |
reflect 207538943038 in NEWS
|
file |
diff |
annotate
|
| Mon, 17 Feb 2014 22:39:20 +0100 |
wenzelm |
subtle change of semantics of Thm.eq_thm, e.g. relevant for merge of src/HOL/Tools/Predicate_Compile/core_data.ML (cf. HOL-IMP);
|
file |
diff |
annotate
|
| Mon, 17 Feb 2014 14:07:26 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 17 Feb 2014 13:31:42 +0100 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 21:33:28 +0100 |
blanchet |
folded 'rel_option' into 'option_rel'
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 21:33:28 +0100 |
blanchet |
folded 'list_all2' with the relator generated by 'datatype_new'
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 18:39:41 +0100 |
blanchet |
more NEWS
|
file |
diff |
annotate
|
| Wed, 12 Feb 2014 10:20:31 +0100 |
blanchet |
[mq]: news
|
file |
diff |
annotate
|
| 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
|