| Mon, 10 Feb 2020 23:04:45 +0100 | wenzelm | proper symbols; | file | diff | annotate |
| Mon, 10 Feb 2020 22:47:43 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 10 Feb 2020 22:40:00 +0100 | wenzelm | recover from Unicode accident in 4abd07cd034f; | file | diff | annotate |
| Mon, 10 Feb 2020 22:32:29 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 10 Feb 2020 22:24:01 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 10 Feb 2020 21:59:24 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 10 Feb 2020 21:12:52 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 15 Jan 2020 15:05:33 +0100 | wenzelm | added "isabelle scala_project" to support e.g. IntelliJ IDEA; | file | diff | annotate |
| Mon, 23 Dec 2019 22:30:03 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Thu, 19 Dec 2019 17:29:35 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 16 Dec 2019 21:15:12 +0100 | wenzelm | tuned NEWS; | file | diff | annotate |
| Mon, 16 Dec 2019 19:58:11 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 10 Dec 2019 01:06:39 +0100 | traytel | NEWS, CONTRIBUTORS, and documentation | file | diff | annotate |
| Mon, 09 Dec 2019 16:13:36 +0000 | paulson | Ramsey with multiple colours and arbitrary exponents | file | diff | annotate |
| Tue, 26 Nov 2019 08:09:44 +0100 | ballarin | Remove diagnostic command 'print_dependencies'. | file | diff | annotate |
| Fri, 22 Nov 2019 15:26:08 +0100 | haftmann | tuned whitespace | file | diff | annotate |
| Fri, 22 Nov 2019 09:25:01 +0000 | haftmann | proper prefix syntax | file | diff | annotate |
| Thu, 21 Nov 2019 15:22:24 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Nov 2019 22:37:12 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Sun, 27 Oct 2019 20:11:30 -0400 | immler | NEWS | file | diff | annotate |
| Sun, 27 Oct 2019 16:47:27 +0100 | nipkow | NEWS | file | diff | annotate |
| Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | file | diff | annotate |
| Fri, 04 Oct 2019 15:30:52 +0200 | wenzelm | Term_XML.Encode/Decode.term uses Const "typargs"; | file | diff | annotate |
| Thu, 12 Sep 2019 14:22:47 +0200 | wenzelm | discontinued obsolete "isabelle imports" and all_known data; | file | diff | annotate |
| Thu, 12 Sep 2019 13:33:09 +0200 | wenzelm | find theory files via session structure: much faster Prover IDE startup; | file | diff | annotate |
| Wed, 11 Sep 2019 16:06:10 +0200 | wenzelm | disallow overlapping session directories; | file | diff | annotate |
| Sun, 08 Sep 2019 17:15:46 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Sat, 24 Aug 2019 12:03:00 +0200 | ballarin | Tracing of locale activation. | file | diff | annotate |
| Fri, 23 Aug 2019 14:32:51 +0200 | wenzelm | clarified 'thm_deps' command; | file | diff | annotate |
| Tue, 20 Aug 2019 22:01:37 +0200 | wenzelm | NEWS; | file | diff | annotate |