src/Pure/ROOT.ML
changeset 27642 c0db1220b071
parent 27546 726e8fa3e404
child 28120 dd4297f5b495
equal deleted inserted replaced
27641:4d7c96b72d49 27642:c0db1220b071
     5 *)
     5 *)
     6 
     6 
     7 structure Distribution =     (*filled-in by makedist*)
     7 structure Distribution =     (*filled-in by makedist*)
     8 struct
     8 struct
     9   val version = "Isabelle repository version";
     9   val version = "Isabelle repository version";
    10   val is_official = true;
    10   val is_official = false;
       
    11   val changelog = "";
    11 end;
    12 end;
    12 
    13 
    13 (*if true then some tools will OMIT some proofs*)
    14 (*if true then some tools will OMIT some proofs*)
    14 val quick_and_dirty = ref false;
    15 val quick_and_dirty = ref false;
    15 
    16