| changeset 28916 | 0a802cdda340 |
| parent 28838 | d5db6dfcb34a |
| child 30456 | d21bc48823b7 |
--- a/doc-src/System/IsaMakefile Sun Nov 30 14:03:45 2008 +0100 +++ b/doc-src/System/IsaMakefile Sun Nov 30 14:03:46 2008 +0100 @@ -22,7 +22,7 @@ Pure-System: $(LOG)/Pure-System.gz $(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \ - Thy/Basics.thy Thy/Misc.thy Thy/Presentation.thy + Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy @$(USEDIR) -s System Pure Thy