| 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 |
| Sat, 17 Aug 2019 17:21:30 +0200 | wenzelm | added ML antiquotation @{oracle_name}; | file | diff | annotate |
| Sat, 17 Aug 2019 13:17:40 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Tue, 13 Aug 2019 20:54:08 +0200 | wenzelm | NEWS and example for Theory.join_theory; | file | diff | annotate |
| Tue, 13 Aug 2019 20:19:15 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Tue, 13 Aug 2019 20:16:03 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Mon, 29 Jul 2019 16:26:06 +0200 | nipkow | News for bind infixl | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:28 +0000 | haftmann | official fact collection sign_simps | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | clear separation of types for bits (False / True) and Z2 (0 / 1) | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | removed relics of ASCII syntax for indexed big operators | file | diff | annotate |
| Sat, 01 Jun 2019 13:53:23 +0200 | wenzelm | merged | file | diff | annotate |
| Tue, 28 May 2019 19:52:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 27 May 2019 16:47:17 +0200 | wenzelm | merged | file | diff | annotate |
| Sat, 18 May 2019 12:08:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 11 May 2019 19:08:26 +0200 | wenzelm | back to post-release mode; | file | diff | annotate |
| Fri, 10 May 2019 10:41:38 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Thu, 09 May 2019 16:40:58 +0200 | wenzelm | more NEWS; | file | diff | annotate |
| Fri, 03 May 2019 20:04:42 +0200 | haftmann | more NEWS | file | diff | annotate |
| Tue, 30 Apr 2019 11:57:45 +0100 | paulson | Algebraic closure: moving more theorems into their rightful places | file | diff | annotate |
| Tue, 16 Apr 2019 19:50:20 +0000 | haftmann | eliminated type class | file | diff | annotate |