| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced mere alias by input abbreviation | file | diff | annotate |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced mere alias by abbreviation | file | diff | annotate |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced operation with weak abstraction by input abbreviation | file | diff | annotate |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | avoid compound operation | file | diff | annotate |
| Thu, 18 Jun 2020 09:07:28 +0000 | haftmann | replaced mere alias by input abbreviation | file | diff | annotate |
| Wed, 17 Jun 2020 20:42:52 +0200 | wenzelm | enable pide_session by default; | file | diff | annotate |
| Wed, 10 Jun 2020 19:59:12 +0200 | wenzelm | updated to jedit-5.6pre1 (repository version 25349); | file | diff | annotate |
| Mon, 08 Jun 2020 21:56:06 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 08 Jun 2020 15:09:57 +0200 | wenzelm | clarified sessions: "Notable Examples in Isabelle/Pure"; | file | diff | annotate |
| Sat, 06 Jun 2020 10:58:13 +0200 | haftmann | NEWS | file | diff | annotate |
| Wed, 27 May 2020 16:43:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 May 2020 16:09:25 +0200 | wenzelm | more NEWS; | file | diff | annotate |
| Wed, 27 May 2020 14:27:22 +0200 | wenzelm | check bash functions against Isabelle settings environment; | file | diff | annotate |
| Wed, 27 May 2020 13:57:13 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Mon, 18 May 2020 12:59:01 +0200 | wenzelm | follow Phabricator update 2020 Week 19; | file | diff | annotate |