| 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
|
| Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 17:26:22 +0200 |
wenzelm |
disable old identifier syntax by default, legacy_isub_isup := true may be used temporarily as fall-back;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 20:31:51 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 07 Aug 2013 15:35:33 +0200 |
wenzelm |
more NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 21:53:33 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 10:54:37 +0200 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|
| Tue, 30 Jul 2013 15:09:25 +0200 |
wenzelm |
type theory is purely value-oriented;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 20:46:21 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 22:20:25 +0200 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 22:16:04 +0200 |
wenzelm |
avoid predefined symbols -- allow editing with Isabelle/jEdit in isabelle-news mode;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 21:43:12 +0200 |
wenzelm |
discontinued ISABELLE_DOC_FORMAT;
|
file |
diff |
annotate
|
| Sat, 13 Jul 2013 21:02:41 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sat, 13 Jul 2013 14:13:34 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 13 Jul 2013 17:53:58 +0200 |
haftmann |
attribute "code" declares concrete and abstract code equations uniformly; added explicit "code equation" instead
|
file |
diff |
annotate
|
| Sun, 07 Jul 2013 18:43:14 +0200 |
wenzelm |
discontinued obsolete "isabelle print";
|
file |
diff |
annotate
|
| Sun, 07 Jul 2013 18:34:29 +0200 |
wenzelm |
discontinued command 'print_drafts';
|
file |
diff |
annotate
|
| Sat, 06 Jul 2013 21:19:38 +0200 |
wenzelm |
minimal jedit mode for Isabelle NEWS;
|
file |
diff |
annotate
|
| Sun, 30 Jun 2013 12:30:02 +0200 |
wenzelm |
discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;
|
file |
diff |
annotate
|
| Sun, 30 Jun 2013 11:37:34 +0200 |
wenzelm |
backout dedd7952a62c: static "proofs" value within theory prevents later inferencing with different configuration;
|
file |
diff |
annotate
|
| Thu, 27 Jun 2013 23:17:26 +0200 |
wenzelm |
manage option "proofs" within theory context -- with minor overhead for primitive inferences;
|
file |
diff |
annotate
|
| Thu, 27 Jun 2013 10:35:37 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 16:55:10 +0200 |
wenzelm |
dockable window for Isabelle documentation;
|
file |
diff |
annotate
|
| Mon, 24 Jun 2013 23:33:14 +0200 |
wenzelm |
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
|
file |
diff |
annotate
|
| Sun, 23 Jun 2013 21:16:07 +0200 |
haftmann |
migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
|
file |
diff |
annotate
|
| Sun, 23 Jun 2013 21:23:36 +0200 |
wenzelm |
proper diagnostic command 'print_state';
|
file |
diff |
annotate
|
| Tue, 18 Jun 2013 15:31:52 +0200 |
wenzelm |
eliminated old "ref" manual;
|
file |
diff |
annotate
|
| Sat, 15 Jun 2013 17:19:23 +0200 |
haftmann |
lifting for primitive definitions;
|
file |
diff |
annotate
|
| Sun, 02 Jun 2013 07:46:40 +0200 |
haftmann |
make reification part of HOL
|
file |
diff |
annotate
|
| Fri, 31 May 2013 07:30:23 +0200 |
bulwahn |
NEWS about Spec_Check
|
file |
diff |
annotate
|