1.1 --- a/src/Pure/GUI/system_dialog.scala Sat Nov 09 11:24:21 2013 +0100
1.2 +++ b/src/Pure/GUI/system_dialog.scala Sat Nov 09 11:41:32 2013 +0100
1.3 @@ -1,5 +1,4 @@
1.4 /* Title: Pure/GUI/system_dialog.scala
1.5 - Module: PIDE-GUI
1.6 Author: Makarius
1.7
1.8 Dialog for system processes, with optional output window.
2.1 --- a/src/Pure/Thy/html.scala Sat Nov 09 11:24:21 2013 +0100
2.2 +++ b/src/Pure/Thy/html.scala Sat Nov 09 11:41:32 2013 +0100
2.3 @@ -1,4 +1,5 @@
2.4 /* Title: Pure/Thy/html.scala
2.5 + Module: PIDE-GUI
2.6 Author: Makarius
2.7
2.8 HTML presentation elements.