equal
deleted
inserted
replaced
98 } |
98 } |
99 |
99 |
100 |
100 |
101 /* Isabelle tool wrapper */ |
101 /* Isabelle tool wrapper */ |
102 |
102 |
103 val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation", args => |
103 val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation", |
|
104 Scala_Project.here, args => |
104 { |
105 { |
105 val getopts = Getopts(""" |
106 val getopts = Getopts(""" |
106 Usage: isabelle doc [DOC ...] |
107 Usage: isabelle doc [DOC ...] |
107 |
108 |
108 View Isabelle documentation. |
109 View Isabelle documentation. |