| Sun, 08 Jan 2017 19:34:44 +0100 | wenzelm | more documentation; | file | diff | annotate |
| Sun, 18 Dec 2016 21:58:13 +0100 | wenzelm | added isabelle jedit -R; | file | diff | annotate |
| Tue, 06 Dec 2016 17:38:46 +0100 | wenzelm | notes on whitespace; | file | diff | annotate |
| Sun, 20 Nov 2016 20:58:33 +0100 | wenzelm | more on "Indentation"; | file | diff | annotate |
| Sun, 20 Nov 2016 20:12:42 +0100 | wenzelm | more on "Formal scopes and semantic selection"; | file | diff | annotate |
| Sun, 20 Nov 2016 19:08:14 +0100 | wenzelm | misc tuning and updates; | file | diff | annotate |
| Sun, 20 Nov 2016 17:10:30 +0100 | wenzelm | more on JVM heap space; | file | diff | annotate |
| Sun, 02 Oct 2016 12:29:18 +0200 | wenzelm | just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell; | file | diff | annotate |
| Wed, 14 Sep 2016 14:37:38 +0200 | wenzelm | discontinued global etc/abbrevs; | file | diff | annotate |
| Thu, 01 Sep 2016 15:29:08 +0200 | wenzelm | clarified important directories; | file | diff | annotate |
| Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 11 Aug 2016 18:26:44 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Fri, 08 Apr 2016 22:48:25 +0200 | wenzelm | backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences; | file | diff | annotate |
| Fri, 08 Apr 2016 20:52:40 +0200 | wenzelm | option "-o" for "isabelle jedit"; | file | diff | annotate |
| Fri, 05 Feb 2016 10:21:38 +0100 | wenzelm | more on Mac OS X with Retina display; | file | diff | annotate |
| Sun, 31 Jan 2016 19:54:40 +0100 | wenzelm | more on "ML debugging within the Prover IDE"; | file | diff | annotate |
| Fri, 29 Jan 2016 23:08:46 +0100 | wenzelm | misc tuning and updates; | file | diff | annotate |
| Fri, 29 Jan 2016 22:36:57 +0100 | wenzelm | misc tuning and updates; | file | diff | annotate |
| Fri, 29 Jan 2016 21:31:01 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Wed, 20 Jan 2016 15:17:03 +0100 | wenzelm | clarified -- this is available on Mac OS X, too; | file | diff | annotate |
| Fri, 15 Jan 2016 19:50:37 +0100 | wenzelm | misc updates and tuning; | file | diff | annotate |
| Fri, 15 Jan 2016 17:30:04 +0100 | wenzelm | misc updates and tuning; | file | diff | annotate |
| Fri, 15 Jan 2016 16:04:09 +0100 | wenzelm | misc updates and tuning; | file | diff | annotate |
| Tue, 12 Jan 2016 19:58:17 +0100 | wenzelm | updated old screenshots, added new screenshots; | file | diff | annotate |
| Sat, 02 Jan 2016 16:56:47 +0100 | wenzelm | clarified isabelle jedit command-line; | file | diff | annotate |
| Sat, 02 Jan 2016 15:18:38 +0100 | wenzelm | provide server name uniformly on all platforms; | file | diff | annotate |
| Thu, 31 Dec 2015 20:40:28 +0100 | wenzelm | documentation for "isabelle jedit_client"; | file | diff | annotate |
| Tue, 29 Dec 2015 17:36:18 +0100 | wenzelm | support additional abbrevs; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Wed, 04 Nov 2015 19:52:38 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Wed, 04 Nov 2015 18:35:50 +0100 | wenzelm | updated; | file | diff | annotate |
| Wed, 04 Nov 2015 18:32:47 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Sat, 31 Oct 2015 14:38:48 +0100 | wenzelm | back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider; | file | diff | annotate |
| Tue, 27 Oct 2015 22:33:18 +0100 | wenzelm | workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard; | file | diff | annotate |
| Sat, 24 Oct 2015 13:42:31 +0200 | wenzelm | more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper; | file | diff | annotate |
| Thu, 22 Oct 2015 23:01:49 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 22 Oct 2015 21:34:28 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 22 Oct 2015 21:16:49 +0200 | wenzelm | more control symbols; | file | diff | annotate |
| Tue, 20 Oct 2015 23:53:40 +0200 | wenzelm | isabelle update_cartouches -t; | file | diff | annotate |
| Mon, 19 Oct 2015 16:37:45 +0200 | wenzelm | added action "isabelle-emph"; | file | diff | annotate |
| Sun, 18 Oct 2015 22:57:09 +0200 | wenzelm | more control symbols; | file | diff | annotate |
| Fri, 16 Oct 2015 14:53:26 +0200 | wenzelm | Markdown support in document text; | file | diff | annotate |
| Wed, 14 Oct 2015 15:10:32 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 12 Oct 2015 20:42:20 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 12 Oct 2015 19:32:25 +0200 | wenzelm | @{verbatim [display]} supersedes old alltt/ttbox; | file | diff | annotate |
| Sat, 19 Sep 2015 22:20:08 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Tue, 08 Sep 2015 13:40:37 +0200 | wenzelm | clarified JEDIT_JAVA_SYSTEM_OPTIONS; | file | diff | annotate |
| Fri, 22 May 2015 15:10:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 21 May 2015 00:24:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 May 2015 18:34:16 +0200 | wenzelm | more on displays with very high resolution; | file | diff | annotate |
| Wed, 06 May 2015 23:28:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 May 2015 16:50:52 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Mon, 04 May 2015 21:58:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 May 2015 20:16:19 +0200 | wenzelm | more on GTK; | file | diff | annotate |
| Mon, 04 May 2015 20:05:50 +0200 | wenzelm | more on Isabelle document preparation and bibtex files; | file | diff | annotate |
| Tue, 07 Oct 2014 21:29:59 +0200 | wenzelm | more cartouches; | file | diff | annotate |
| Sun, 05 Oct 2014 23:09:27 +0200 | wenzelm | more refs; | file | diff | annotate |
| Sun, 05 Oct 2014 22:46:20 +0200 | wenzelm | prefer @{cite} antiquotation; | file | diff | annotate |
| Fri, 08 Aug 2014 11:43:08 +0200 | wenzelm | improved monitor panel; | file | diff | annotate |