Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ProofGeneral/proof_general_emacs.ML
changeset 27860 5125b3c1efc2
parent 27828 edafacb690a3
child 27865 27a8ad9612a3
equal deleted inserted replaced
27859:c1bc9f4df521 27860:5125b3c1efc2 
   186   else ();
 
   186   else ();
 
   187 
   187 
   188 in
 
   188 in
 
   189 
   189 
   190 fun setup_present_hook () =
 
   190 fun setup_present_hook () =
 
   191   Present.add_hook (fn _ => fn res => tell_thm_deps (maps #2 res));
 
   191   ProofDisplay.add_hook (fn res => tell_thm_deps (maps #2 res));
 
   192 
   192 
   193 end;
 
   193 end;
 
   194 
   194 
   195 
   195 
   196 (* additional outer syntax for Isar *)
 
   196 (* additional outer syntax for Isar *)
isabelle