Admin/page/dist-content/source.content
changeset 8851 d816ec3fab28
parent 8841 95f2b61f2389
child 9920 9734f2717203
equal deleted inserted replaced
8850:03cb6625c4a5 8851:d816ec3fab28
     1 %title%
     1 %title%
     2 Isabelle Source Releases
     2 Isabelle Source Distribution
     3 
     3 
     4 %body%
     4 %body%
     5 The source distribution of Isabelle:
     5 The standard source distribution of Isabelle:
     6 
     6 
     7 <p>
     7 <p>
     8 
     8 
     9 <!-- _GP_ setdowncolor("#E0E0E0") -->
     9 <!-- _GP_ setdowncolor("#E0E0E0") -->
    10 
    10