Isabelle: changelog and attribution

2 files changed, 2 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index e9fb5301..4f699f6b 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -79,6 +79,7 @@ Other contributors, listed alphabetically, are:
 * Igor Kalnitsky -- vhdl lexer
 * Alexander Kit -- MaskJS lexer
 * Pekka Klärck -- Robot Framework lexer
+* Gerwin Klein -- Isabelle lexer
 * Eric Knibbe -- Lasso lexer
 * Stepan Koltsov -- Clay lexer
 * Adam Koprowski -- Opa lexer
diff --git a/CHANGES b/CHANGES
index fa31649b..4dfd45a0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -40,6 +40,7 @@ Version 2.0
   * Igor Pro (PR#172)
   * Inform 6/7 (PR#281)
   * Intel objdump (PR#279)
+  * Isabelle (PR#386)
   * Jasmin (PR#349)
   * Kal (PR#233)
   * LSL (PR#296)