changeset 34408 | ad7b6c4813c8 |
parent 34407 | aad6834ba380 |
child 34456 | 14367c0715e8 |
--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala Fri Dec 19 22:24:32 2008 +0100 +++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala Fri Dec 19 23:11:08 2008 +0100 @@ -1,5 +1,5 @@ /* - * Document -- list of tokens + * Document as list of tokens * * @author Johannes Hölzl, TU Munich */