src/Pure/ML-Systems/pp_dummy.ML

discontinued "isabelle usedir" option -r (reset session path);
simplified internal session identification: chapter / name;
clarified chapter index (of sessions) vs. session index (of theories);
discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser);
removed obsolete session parent_path;

(*  Title:      Pure/ML-Systems/pp_dummy.ML

Dummy setup for toplevel pretty printing.
*)

fun ml_pretty _ = raise Fail "ml_pretty dummy";
fun pretty_ml _ = raise Fail "pretty_ml dummy";

structure PolyML =
struct
  fun addPrettyPrinter _ = ();
  fun prettyRepresentation _ =
    raise Fail "PolyML.prettyRepresentation dummy";
  open PolyML;
end;