| Thu, 14 Aug 2014 14:28:11 +0200 |
wenzelm |
localized command 'method_setup' and 'attribute_setup';
|
file |
diff |
annotate
|
| Sun, 10 Aug 2014 14:34:43 +0200 |
wenzelm |
merged -- with manual conflict resolution for src/HOL/SMT_Examples/SMT_Examples.certs2, src/HOL/SMT_Examples/SMT_Word_Examples.certs2, src/Doc/Prog_Prove/document/intro-isabelle.tex;
|
file |
diff |
annotate
|
| Fri, 08 Aug 2014 11:43:08 +0200 |
wenzelm |
improved monitor panel;
|
file |
diff |
annotate
|
| Mon, 04 Aug 2014 17:55:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 31 Jul 2014 21:29:31 +0200 |
wenzelm |
completion popup supports both ENTER and TAB (default);
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 16:44:54 +0200 |
kuncar |
NEWS
|
file |
diff |
annotate
|
| Tue, 29 Jul 2014 17:13:25 +0200 |
hoelzl |
better ordering of positive_integral renaming to nn_integral in NEWS
|
file |
diff |
annotate
|
| Mon, 28 Jul 2014 11:03:28 +0200 |
wenzelm |
some actual workaround to remove document nodes;
|
file |
diff |
annotate
|
| Fri, 01 Aug 2014 14:43:57 +0200 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Sun, 27 Jul 2014 15:44:08 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| Sun, 27 Jul 2014 15:25:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 16:21:50 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 10:22:34 +0200 |
wenzelm |
updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 16:04:45 +0200 |
wenzelm |
clarified "simp_trace_new" and corresponding isar-ref section;
|
file |
diff |
annotate
|
| Wed, 09 Jul 2014 11:35:52 +0200 |
blanchet |
tuned terminology
|
file |
diff |
annotate
|