| Sun, 20 Sep 2020 12:21:54 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 20 Sep 2020 12:18:50 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sun, 20 Sep 2020 11:42:48 +0200 | wenzelm | tuned messages; | changeset | files |
| Sun, 20 Sep 2020 11:32:58 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 20 Sep 2020 15:45:25 +0100 | paulson | merged | changeset | files |
| Sun, 20 Sep 2020 15:45:14 +0100 | paulson | de-applying and simplifying | changeset | files |
| Fri, 18 Sep 2020 12:33:10 +0200 | nipkow | tuned | changeset | files |
| Fri, 18 Sep 2020 08:02:19 +0100 | paulson | removal of needless premises | changeset | files |
| Thu, 17 Sep 2020 18:48:37 +0100 | paulson | merged | changeset | files |
| Thu, 17 Sep 2020 18:48:06 +0100 | paulson | de-applying | changeset | files |
| Thu, 17 Sep 2020 14:27:56 +0200 | haftmann | dropped junk | changeset | files |
| Thu, 17 Sep 2020 13:55:21 +0200 | haftmann | typo | changeset | files |
| Thu, 17 Sep 2020 12:06:38 +0200 | haftmann | NEWS and CONTRIBUTORS | changeset | files |
| Thu, 17 Sep 2020 09:57:31 +0000 | haftmann | integrated generic conversions into word corpse | changeset | files |
| Thu, 17 Sep 2020 09:57:30 +0000 | haftmann | more lemmas | changeset | files |
| Tue, 15 Sep 2020 08:57:47 +0200 | nipkow | added lemma | changeset | files |
| Sun, 13 Sep 2020 16:11:05 +0100 | paulson | de-applying | changeset | files |
| Fri, 11 Sep 2020 18:55:31 +0100 | paulson | merged | changeset | files |
| Fri, 11 Sep 2020 14:15:14 +0100 | paulson | merged | changeset | files |
| Fri, 11 Sep 2020 14:14:58 +0100 | paulson | cleaned up some messy proofs | changeset | files |
| Fri, 11 Sep 2020 14:04:16 +0200 | wenzelm | prefer current mathpartir.sty from underlying TeX distribution; | changeset | files |
| Fri, 11 Sep 2020 13:54:22 +0200 | wenzelm | more checks; | changeset | files |
| Fri, 11 Sep 2020 12:56:01 +0200 | wenzelm | more uniform color --- avoid odd transparency on Windows (due to jEdit default #666699a); | changeset | files |
| Fri, 11 Sep 2020 12:17:19 +0200 | wenzelm | updated documentation; | changeset | files |
| Fri, 11 Sep 2020 11:44:03 +0200 | wenzelm | tuned documentation; | changeset | files |
| Thu, 10 Sep 2020 21:14:50 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 10 Sep 2020 21:07:58 +0200 | wenzelm | more uniform JVM vs. ML status widget; | changeset | files |
| Thu, 10 Sep 2020 16:04:12 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 08 Sep 2020 21:14:42 +0200 | wenzelm | update to official jedit-5.6.0; | changeset | files |
| Tue, 08 Sep 2020 15:30:37 +0100 | paulson | merged | changeset | files |