# HG changeset patch
# User wenzelm
# Date 1435838999 -7200
# Node ID e096d5aaa0f8f88a6b7323bfd46891c049ffdb18
# Parent  441fdbfbb2d3dd874cbc6b869377e4346cc00964
more CONTRIBUTORS;

diff -r 441fdbfbb2d3 -r e096d5aaa0f8 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Jul 02 14:09:43 2015 +0200
+++ b/CONTRIBUTORS	Thu Jul 02 14:09:59 2015 +0200
@@ -6,13 +6,16 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
+  Isar subgoal command for proof structure within unstructured proof
+  scripts.
+
 * Summer 2015: Florian Haftmann, TUM
-  Generic partial division in rings as inverse operation
-  of multiplication.
+  Generic partial division in rings as inverse operation of multiplication.
 
 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM
-  Type class hierarchy with common algebraic notions of
-  integral (semi)domains like units and associated elements.
+  Type class hierarchy with common algebraic notions of integral
+  (semi)domains like units and associated elements.
 
 
 Contributions to Isabelle2015