Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala
changeset 36760 b82a698ef6c9
parent 36015 6111de7c916a
child 36990 449628c148cf 
--- a/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Hyperlink setup for Isabelle proof documents
- *
- * @author Fabian Immler, TU Munich
- */
+/*  Title:      Tools/jEdit/src/jedit/isabelle_hyperlinks.scala
+    Author:     Fabian Immler, TU Munich
+
+Hyperlink setup for Isabelle proof documents.
+*/
 
 package isabelle.jedit
isabelle