# 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). *)