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/pure_setup.ML
changeset 42360 da8817d01e7c
parent 42261 611856e8cb1e
child 42381 309ec68442c6
equal deleted inserted replaced
42359:6ca5407863ed 42360:da8817d01e7c 
    54 (* misc *)
 
    54 (* misc *)
 
    55 
    55 
    56 val cd = File.cd o Path.explode;
 
    56 val cd = File.cd o Path.explode;
 
    57 
    57 
    58 Proofterm.proofs := 0;
 
    58 Proofterm.proofs := 0;
 
       
    59 
       
    60 (*legacy*)
 
       
    61 structure ProofContext = Proof_Context;
 
       
    62
isabelle