src/Pure/ROOT.ML
changeset 32361 141e5151b918
parent 32187 cca43ca13f4f
child 32736 f126e68d003d
equal deleted inserted replaced
32360:79b5b3031c87 32361:141e5151b918
     1 (** Pure Isabelle **)
     1 (** Pure Isabelle **)
     2 
     2 
     3 structure Distribution =     (*filled-in by makedist*)
     3 structure Distribution =     (*filled-in by makedist*)
     4 struct
     4 struct
     5   val version = "Isabelle repository version";
     5   val version = "unidentified repository version";
     6   val is_official = false;
     6   val is_official = false;
     7   val changelog = "";
     7   val changelog = "";
     8 end;
     8 end;
     9 
     9 
    10 (*if true then some tools will OMIT some proofs*)
    10 (*if true then some tools will OMIT some proofs*)