src/Tools/jEdit/src/jedit_thy_load.scala
changeset 45007 cc86edb97c2c
parent 44963 4662dddc2fd8
child 46737 09ab89658a5d
     1.1 --- a/src/Tools/jEdit/src/jedit_thy_load.scala	Mon Sep 19 23:24:32 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Mon Sep 19 23:34:22 2011 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -/*  Title:      Tools/jEdit/src/plugin.scala
     1.5 +/*  Title:      Tools/jEdit/src/jedit_thy_load.scala
     1.6      Author:     Makarius
     1.7  
     1.8  Primitives for loading theory files, based on jEdit buffer content.