Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
enabled sig;
authorwenzelm
Wed, 03 Feb 1999 16:41:49 +0100
changeset 6187 c6c4626ef693
parent 6186 72abe86d9418
child 6188 c40e5ac04e3e
enabled sig;
src/Pure/General/path.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/path.ML	Wed Feb 03 16:41:00 1999 +0100
+++ b/src/Pure/General/path.ML	Wed Feb 03 16:41:49 1999 +0100
@@ -22,11 +22,10 @@
   val unpack: string -> T
   val base: T -> T
   val ext: string -> T -> T
-(* FIXME  val evaluate: (string -> T) -> T -> T	*)
   val expand: T -> T
 end;
 
-structure Path(* FIXME : PATH *) =
+structure Path: PATH =
 struct
isabelle