changeset 43601 | fd650d659275 |
parent 43600 | 4ac04bf9ff89 |
child 43604 | ff33fea12337 |
--- a/src/Pure/General/path.scala Thu Jun 30 00:09:57 2011 +0200 +++ b/src/Pure/General/path.scala Thu Jun 30 11:15:36 2011 +0200 @@ -1,8 +1,8 @@ /* Title: Pure/General/path.scala Author: Makarius -Abstract algebra of file paths: basic POSIX notation, extended by -named roots (e.g. //foo) and variables (e.g. $BAR). +Algebra of file-system paths: basic POSIX notation, extended by named +roots (e.g. //foo) and variables (e.g. $BAR). */ package isabelle