| changeset 76514 | 2615cf68f6f4 |
| parent 76351 | 2cee31cd92f0 |
| child 76537 | cdbe20024038 |
| 76513:5a9a82522266 | 76514:2615cf68f6f4 |
|---|---|
381 Isabelle_System.Rm_Tree, |
381 Isabelle_System.Rm_Tree, |
382 Isabelle_System.Download, |
382 Isabelle_System.Download, |
383 Isabelle_System.Isabelle_Id, |
383 Isabelle_System.Isabelle_Id, |
384 Isabelle_Tool.Isabelle_Tools, |
384 Isabelle_Tool.Isabelle_Tools, |
385 isabelle.atp.SystemOnTPTP.List_Systems, |
385 isabelle.atp.SystemOnTPTP.List_Systems, |
386 isabelle.atp.SystemOnTPTP.Run_System) |
386 isabelle.atp.SystemOnTPTP.Run_System, |
387 Prismjs.Languages, |
|
388 Prismjs.Tokenize) |