| changeset 77082 | 4e724a439035 |
| parent 77081 | 75ebc168731c |
| child 77085 | 351eee493580 |
| 77081:75ebc168731c | 77082:4e724a439035 |
|---|---|
1 /* Title: Pure/Admin/other_isabelle.scala |
1 /* Title: Pure/Admin/other_isabelle.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Manage other Isabelle distributions. |
4 Manage other Isabelle distributions: support historic versions starting from |
5 tag "build_history_base". |
|
5 */ |
6 */ |
6 |
7 |
7 package isabelle |
8 package isabelle |
8 |
9 |
9 |
10 |