| Wed, 20 Nov 2013 17:00:49 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 18:14:56 +0100 |
haftmann |
more correct NEWS
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 10:05:53 +0100 |
haftmann |
eliminiated neg_numeral in favour of - (numeral _)
|
file |
diff |
annotate
|
| Sat, 16 Nov 2013 17:39:11 +0100 |
wenzelm |
toplevel function "use" refers to raw ML bootstrap environment;
|
file |
diff |
annotate
|
| Mon, 11 Nov 2013 17:44:21 +0100 |
wenzelm |
merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
|
file |
diff |
annotate
|
| Sat, 09 Nov 2013 11:24:21 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2013 18:16:16 +0100 |
wenzelm |
no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
|
file |
diff |
annotate
|
| Wed, 30 Oct 2013 17:05:23 +0100 |
wenzelm |
more on file-system access;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2013 15:21:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 09 Oct 2013 23:11:56 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 04 Oct 2013 13:17:49 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sun, 10 Nov 2013 15:05:06 +0100 |
haftmann |
qualifed popular user space names
|
file |
diff |
annotate
|
| Tue, 05 Nov 2013 09:45:03 +0100 |
hoelzl |
NEWS
|
file |
diff |
annotate
|
| Mon, 04 Nov 2013 20:10:09 +0100 |
haftmann |
fact generalization and name consolidation
|
file |
diff |
annotate
|
| Fri, 01 Nov 2013 18:51:14 +0100 |
haftmann |
more simplification rules on unary and binary minus
|
file |
diff |
annotate
|
| Thu, 31 Oct 2013 11:44:20 +0100 |
haftmann |
purely algebraic foundation for even/odd
|
file |
diff |
annotate
|
| Thu, 31 Oct 2013 11:44:20 +0100 |
haftmann |
moving generic lemmas out of theory parity, disregarding some unused auxiliary lemmas;
|
file |
diff |
annotate
|
| Thu, 03 Oct 2013 19:01:10 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| Thu, 03 Oct 2013 00:39:16 +0200 |
ballarin |
Streamlined locales reference material.
|
file |
diff |
annotate
|
| Wed, 02 Oct 2013 17:08:39 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 02 Oct 2013 16:56:02 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Wed, 02 Oct 2013 15:53:20 +0200 |
traytel |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Wed, 02 Oct 2013 10:13:54 +0300 |
kuncar |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Tue, 01 Oct 2013 14:29:27 +0200 |
blanchet |
minor textual changes
|
file |
diff |
annotate
|
| Sun, 29 Sep 2013 12:56:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 29 Sep 2013 12:44:40 +0200 |
wenzelm |
more on text completion;
|
file |
diff |
annotate
|
| Sat, 28 Sep 2013 16:10:26 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Sat, 28 Sep 2013 14:36:04 +0200 |
wenzelm |
uniform $ISABELLE_HOME on all platforms;
|
file |
diff |
annotate
|
| Wed, 25 Sep 2013 16:29:35 +0200 |
wenzelm |
updated documentation concerning MacOSX plugin 1.3;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 20:24:14 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 23 Sep 2013 14:53:43 +0200 |
blanchet |
document "spy"
|
file |
diff |
annotate
|
| Mon, 23 Sep 2013 14:53:43 +0200 |
blanchet |
document "spy" option
|
file |
diff |
annotate
|
| Fri, 20 Sep 2013 22:39:30 +0200 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Thu, 19 Sep 2013 18:59:28 +0200 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Thu, 19 Sep 2013 01:15:26 +0200 |
blanchet |
updated NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 13:18:51 +0200 |
wenzelm |
improved printing of exception trace in Poly/ML 5.5.1;
|
file |
diff |
annotate
|
| Tue, 17 Sep 2013 15:18:14 +0200 |
lammich |
order_bot, order_top
|
file |
diff |
annotate
|
| Tue, 17 Sep 2013 13:40:44 +0200 |
noschinl |
NEWS: Simps_Case_Conv
|
file |
diff |
annotate
|
| Mon, 16 Sep 2013 11:46:24 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 13 Sep 2013 09:31:45 +0200 |
krauss |
merged
|
file |
diff |
annotate
|
| Tue, 10 Sep 2013 20:34:32 +0200 |
krauss |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 18:52:30 +0200 |
haftmann |
more correct NEWS
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 11:08:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 04 Sep 2013 12:20:00 +0200 |
wenzelm |
remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list);
|
file |
diff |
annotate
|
| Mon, 02 Sep 2013 17:14:35 +0200 |
Andreas Lochbihler |
NEWS
|
file |
diff |
annotate
|
| Sat, 31 Aug 2013 12:14:19 +0200 |
wenzelm |
more accurate description: Swing/L&F has additional handlers;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 13:46:32 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 13:45:57 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 12:12:41 +0200 |
blanchet |
renamed command to clarify connection with BNF
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 12:06:37 +0200 |
blanchet |
updated news/contributors with BNF stuff
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 21:49:46 +0200 |
wenzelm |
added action isabelle.complete, using standard jEdit keyboard shortcut;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 10:24:43 +0200 |
wenzelm |
some completion options;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 09:16:03 +0200 |
wenzelm |
GTK+ works better due to avoidance of default list view popups;
|
file |
diff |
annotate
|
| Wed, 28 Aug 2013 22:25:14 +0200 |
wenzelm |
complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 12:40:55 +0200 |
wenzelm |
clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 11:44:28 +0200 |
wenzelm |
obsolete (see 52790e3961fe);
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 11:41:17 +0200 |
wenzelm |
added action isabelle.reset-font-size;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 11:23:26 +0200 |
wenzelm |
tuned -- some reformatting;
|
file |
diff |
annotate
|
| Tue, 20 Aug 2013 11:39:53 +0200 |
krauss |
renamed theory Mrec to Legacy_Mrec, no longer included by default
|
file |
diff |
annotate
|
| Sat, 17 Aug 2013 12:25:26 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|