| author | wenzelm |
| Thu, 24 Jul 2014 15:01:17 +0200 | |
| changeset 58989 | 5c600dd17617 |
| parent 46548 | src/Pure/package.scala@cd41e3903fbf |
| child 58991 | a43898f76ae9 |
| permissions | -rw-r--r-- |
| wenzelm@58989 | 1 |
/* Title: Pure/ROOT.scala |
| wenzelm@46548 | 2 |
Module: PIDE |
| wenzelm@43633 | 3 |
Author: Makarius |
| wenzelm@43633 | 4 |
|
| wenzelm@58989 | 5 |
Root of isabelle package. |
| wenzelm@43633 | 6 |
*/ |
| wenzelm@43633 | 7 |
|
| wenzelm@44529 | 8 |
package object isabelle extends isabelle.Basic_Library |
| wenzelm@43633 | 9 |
{
|
| wenzelm@43633 | 10 |
} |
| wenzelm@43633 | 11 |