src/Pure/Thy/file_format.scala
changeset 73130 5f8f7746b4aa
parent 72957 75fc90edc0a8
child 73340 0ffcad1f6130
equal deleted inserted replaced
73129:ff9cd62d2d20 73130:5f8f7746b4aa
     1 /*  Title:      Pure/Thy/file_format.scala
     1 /*  Title:      Pure/Thy/file_format.scala
     2     Author:     Makarius
     2     Author:     Makarius
     3 
     3 
     4 Support for user-defined file formats.
     4 Support for user-defined file formats, associated with active session.
     5 */
     5 */
     6 
     6 
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 
     9