src/Pure/Thy/present.ML
changeset 52743 a7d69a11f395
parent 52551 f4fe75218cec
child 53171 a5e54d4d9081
     1.1 --- a/src/Pure/Thy/present.ML	Sat Jul 27 21:21:47 2013 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Sat Jul 27 21:43:12 2013 +0200
     1.3 @@ -447,8 +447,6 @@
     1.4  
     1.5  fun display_drafts src_paths = Isabelle_System.with_tmp_dir "drafts" (fn dir =>
     1.6    let
     1.7 -    val doc_format = getenv "ISABELLE_DOC_FORMAT";
     1.8 -
     1.9      fun prep_draft path i =
    1.10        let
    1.11          val base = Path.base path;
    1.12 @@ -483,8 +481,8 @@
    1.13      val _ = write_tex_index tex_index doc_path;
    1.14  
    1.15      val result =
    1.16 -      isabelle_document {verbose = false, purge = true} doc_format documentN "" doc_path;
    1.17 -    val detachable_result = Isabelle_System.create_tmp_path documentN doc_format;
    1.18 +      isabelle_document {verbose = false, purge = true} "pdf" documentN "" doc_path;
    1.19 +    val detachable_result = Isabelle_System.create_tmp_path documentN "pdf";
    1.20      val _ = File.copy result detachable_result;
    1.21    in
    1.22      Isabelle_System.isabelle_tool "display" ("-c " ^ File.shell_path detachable_result ^ " &")