| Sat, 21 Mar 2020 20:57:34 +0100 | wenzelm | documentation for "isabelle build_docker"; | file | diff | annotate |
| Sat, 21 Mar 2020 16:23:20 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Thu, 19 Dec 2019 17:29:35 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Thu, 19 Dec 2019 17:26:06 +0100 | wenzelm | more documentation; | file | diff | annotate |
| Thu, 19 Dec 2019 16:49:29 +0100 | wenzelm | more documentation; | file | diff | annotate |
| Wed, 06 Jun 2018 14:16:52 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Sat, 19 May 2018 15:45:45 +0200 | wenzelm | clarified store directories; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Tue, 03 Oct 2017 17:35:16 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 10 Mar 2016 12:11:50 +0100 | wenzelm | isabelle_process is superseded by "isabelle process" tool; | file | diff | annotate |
| Tue, 08 Mar 2016 20:02:46 +0100 | wenzelm | back to external line editor, due to problems of JLine with multithreading of in vs. out; | file | diff | annotate |
| Tue, 08 Mar 2016 18:15:16 +0100 | wenzelm | isabelle console is based on Isabelle/Scala; | file | diff | annotate |
| Mon, 07 Mar 2016 21:53:21 +0100 | wenzelm | discontinued cd, pwd; | file | diff | annotate |
| Thu, 03 Mar 2016 22:16:52 +0100 | wenzelm | isabelle console -r" helps to bootstrap Isabelle/Pure; | file | diff | annotate |
| Sun, 28 Feb 2016 15:43:56 +0100 | wenzelm | removed pointless "isabelle yxml"; | file | diff | annotate |
| Thu, 31 Dec 2015 19:53:19 +0100 | wenzelm | discontinued documentation of old browser; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Wed, 04 Nov 2015 20:18:46 +0100 | wenzelm | tuned whitespace; | 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 |
| 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 18:18:48 +0200 | wenzelm | @{verbatim [display]} supersedes old alltt/ttbox; | file | diff | annotate |
| Mon, 12 Oct 2015 17:11:17 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 07 Oct 2014 21:29:59 +0200 | wenzelm | more cartouches; | file | diff | annotate |
| Mon, 30 Jun 2014 10:53:37 +0200 | wenzelm | ProofGeneral-4.2-2 is optional component (including the traditional helper scripts); | file | diff | annotate |
| Mon, 30 Jun 2014 09:43:44 +0200 | wenzelm | "isabelle tty" is superseded by "isabelle console"; | file | diff | annotate |
| Fri, 27 Jun 2014 15:41:26 +0200 | wenzelm | Proof General legacy; | file | diff | annotate |