changeset 53447 | 3d8dfddefe84 |
parent 53371 | 47b23c582127 |
child 53571 | e58ca0311c0f |
53446:4adb2cce5fc6 | 53447:3d8dfddefe84 |
---|---|
1 /* Title: Pure/Tools/keywords.scala |
1 /* Title: Pure/Tools/keywords.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Generate keyword files for Emacs Proof General. |
4 Generate keyword files for Emacs Proof General. |
5 */ |
5 */ |
6 |
|
7 /*Proof General legacy*/ |
|
6 |
8 |
7 package isabelle |
9 package isabelle |
8 |
10 |
9 |
11 |
10 import scala.collection.mutable |
12 import scala.collection.mutable |