1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc/namespaces.dox	Thu Aug 10 14:56:36 2006 +0000
     1.3 @@ -0,0 +1,12 @@
     1.4 +/// The namespace of LEMON
     1.5 +
     1.6 +/// The namespace of LEMON
     1.7 +///
     1.8 +namespace lemon {
     1.9 +
    1.10 +  /// The namespace of LEMON concepts and concept checking classes
    1.11 +
    1.12 +  /// The namespace of LEMON concepts and concept checking classes
    1.13 +  ///
    1.14 +  namespace concept {}
    1.15 +}