# HG changeset patch
# User wenzelm
# Date 1330280446 -3600
# Node ID b2ae19322ff88f5d17c83652b6fc073251b7a006
# Parent  866a798d051cd016a6bdae9e56801b2dd6224a81
more PIDE modules;

diff -r 866a798d051c -r b2ae19322ff8 src/Pure/General/linear_set.scala
--- a/src/Pure/General/linear_set.scala	Sun Feb 26 18:26:26 2012 +0100
+++ b/src/Pure/General/linear_set.scala	Sun Feb 26 19:20:46 2012 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/linear_set.scala
+    Module:     PIDE
     Author:     Makarius
     Author:     Fabian Immler, TU Munich