diff -r 2d6c8075d9d0 -r 818510fa3d99 doc/namespaces.dox
--- a/doc/namespaces.dox	Wed Sep 29 14:12:26 2004 +0000
+++ b/doc/namespaces.dox	Wed Sep 29 15:30:04 2004 +0000
@@ -1,10 +1,10 @@
-/// The namespace of HugoLib
+/// The namespace of LEMON
 
 /// \todo Some more detailed description would be nice here.
 ///
-namespace hugo {
+namespace lemon {
 
-  /// The namespace of HUGOlib concepts and concept checking classes
+  /// The namespace of LEMON concepts and concept checking classes
 
   /// \todo Some more detailed description would be nice here.
   ///