| changeset 29606 | fedb8be05f24 |
| parent 28030 | 8b197e2bc66a |
| child 29858 | c8cee17d7e50 |
| 29605:f2924219125e | 29606:fedb8be05f24 |
|---|---|
1 (* Title: Pure/ProofGeneral/ROOT.ML |
1 (* Title: Pure/ProofGeneral/ROOT.ML |
2 ID: $Id$ |
|
3 Author: David Aspinall |
2 Author: David Aspinall |
4 |
3 |
5 Proof General interface for Isabelle, both the traditional Emacs version, |
4 Proof General interface for Isabelle, both the traditional Emacs version, |
6 and PGIP experiments. |
5 and PGIP experiments. |
7 *) |
6 *) |