Fix syntax of logical pathnames136
authorBert Burgemeister <trebbu@googlemail.com>
Wed, 6 Jun 2012 16:00:30 +0000 (6 18:00 +0200)
committerBert Burgemeister <trebbu@googlemail.com>
Wed, 6 Jun 2012 16:00:30 +0000 (6 18:00 +0200)
clqr-input-output.tex

index 88511f6..cd63573 100644 (file)
     \retval{Logical pathname} of \VAR{logical-path}.
     Logical pathnames are represented as all-uppercase
     \LIT{\#P"}%
-    \Op{\VAR{host}\LIT{:}}\Op{\LIT{:}}%
+    \Op{\VAR{host}\LIT{:}}%
+    \Op{\LIT{;}}%
     \Goos{\xorGOO{%
         \Goop{\VAR{dir}\XOR\LIT{*}}\\
         \LIT{**}}{\}}\LIT{;}}%