| Sat, 21 Oct 2023 14:36:47 +0200 | wenzelm | more compact ML source; | file | diff | annotate |
| Wed, 10 May 2023 21:17:21 +0200 | wenzelm | more informative position information; | file | diff | annotate |
| Wed, 10 May 2023 20:30:46 +0200 | wenzelm | more informative position information; | file | diff | annotate |
| Sat, 01 Apr 2023 21:33:54 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 01 Apr 2023 21:25:24 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Apr 2023 21:12:44 +0200 | wenzelm | more compact data; | file | diff | annotate |
| Sat, 01 Apr 2023 16:54:43 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 01 Apr 2023 15:01:35 +0200 | wenzelm | more uniform treatment of properties (but < 0 should not occur here); | file | diff | annotate |
| Sat, 01 Apr 2023 14:59:42 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 01 Apr 2023 14:50:43 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Apr 2023 14:32:02 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Apr 2023 13:58:45 +0200 | wenzelm | misc tuning and clarification: more tight representation; | file | diff | annotate |
| Tue, 07 Sep 2021 21:47:50 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 24 Aug 2021 14:56:55 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 24 Aug 2021 13:39:37 +0200 | wenzelm | minor performance tuning; | file | diff | annotate |
| Tue, 24 Aug 2021 12:37:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 24 Aug 2021 12:31:49 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 24 Aug 2021 12:28:07 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 23 Aug 2021 20:40:22 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 23 Aug 2021 14:24:57 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 23 Aug 2021 12:54:28 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 22 Aug 2021 19:21:54 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 22 Aug 2021 17:52:27 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 18 Jun 2021 12:13:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 25 Nov 2020 15:12:02 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 25 Nov 2020 13:51:28 +0100 | wenzelm | unused; | file | diff | annotate |
| Wed, 27 May 2020 20:02:02 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 24 Feb 2020 20:57:29 +0100 | wenzelm | more position information for oracles (e.g. "skip_proof" for 'sorry'), requires Proofterm.proofs := 1; | file | diff | annotate |
| Sat, 10 Aug 2019 10:31:56 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Tue, 27 Nov 2018 16:22:12 +0100 | wenzelm | more robust (amending 76979adf0b96); | file | diff | annotate |