diff options
Diffstat (limited to 'isar/README')
| -rw-r--r-- | isar/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/README b/isar/README index 16a2c310..4f5da8b9 100644 --- a/isar/README +++ b/isar/README @@ -3,7 +3,7 @@ Isabelle/Isar Proof General Written by Markus Wenzel and David Aspinall. Contributions from David von Oheimb, Stefan Berghofer, - Sebastian Skalberg, Gerwin Klein. + Sebastian Skalberg, Gerwin Klein, Tjark Weber. Status: supported Maintainers: David Aspinall, Makarius Wenzel, Stefan Berghofer |