equal
deleted
inserted
replaced
176 |> Syntax.pretty_term ctxt, |
176 |> Syntax.pretty_term ctxt, |
177 Pretty.str (if j = 1 then "." else ";")]) |
177 Pretty.str (if j = 1 then "." else ";")]) |
178 (length ts downto 1) ts))] |
178 (length ts downto 1) ts))] |
179 |
179 |
180 fun install_java_message () = |
180 fun install_java_message () = |
181 "Nitpick requires a Java 1.5 virtual machine called \"java\"." |
181 "Nitpick requires Java Development Kit 1.6/1.7 via ISABELLE_JDK_HOME setting." |
182 fun install_kodkodi_message () = |
182 fun install_kodkodi_message () = |
183 "Nitpick requires the external Java program Kodkodi. To install it, download \ |
183 "Nitpick requires the external Java program Kodkodi. To install it, download \ |
184 \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \ |
184 \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \ |
185 \\"kodkodi-x.y.z\" directory's full path to " ^ |
185 \\"kodkodi-x.y.z\" directory's full path to " ^ |
186 Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^ |
186 Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^ |