changeset 43601 | fd650d659275 |
parent 43599 | e0ee016fc4fd |
child 43603 | 8f777c2e4638 |
--- a/src/Pure/General/path.ML Thu Jun 30 00:09:57 2011 +0200 +++ b/src/Pure/General/path.ML Thu Jun 30 11:15:36 2011 +0200 @@ -1,8 +1,8 @@ (* Title: Pure/General/path.ML Author: Markus Wenzel, TU Muenchen -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). *) signature PATH =