# HG changeset patch
# User nipkow
# Date 876907675 -7200
# Node ID 6913700d7c7995d0a7be7ac89d99bade0e0c17df
# Parent  79b54692d806529ec73ffe66bb196897849fcf33
Added ack to Mateja Jamnik.

diff -r 79b54692d806 -r 6913700d7c79 src/Pure/Thy/browser_info.ML
--- a/src/Pure/Thy/browser_info.ML	Wed Oct 15 11:16:48 1997 +0200
+++ b/src/Pure/Thy/browser_info.ML	Wed Oct 15 11:27:55 1997 +0200
@@ -3,6 +3,8 @@
     Author:     Stefan Berghofer and Carsten Clasohm
     Copyright   1994, 1997 TU Muenchen
 
+The first design of the text-based html browser is due to Mateja Jamnik.
+
 Functions for generating theory browsing information
 (i.e. *.html and *.graph - files).
 *)