//_ ======================
//_ Christian_Thäter,_Benny_Lyons
//_
+//_ [abstract]
+//_ *****************************************************************
+//_ Nobug is a debugging library for instrumenting C and C++ programs
+//_ inspired by ideas originating from Design-by-Contract.
+//_ *****************************************************************
+//_
+//_ [quote]
+//_ __________________________________________________________________
+//_ Everyone makes mistakes, but with NoBug you won't make them twice!
+//_ __________________________________________________________________
+//_
+//_ ifdef::basebackend-latex[]
+//_ Contents
+//_ --------
+//_ endif::basebackend-latex[]
+//_
//=overview
//=buildinstall
-____
-Everyone makes mistakes, but with NoBug you won't make them twice!
-____
-
-Nobug is a debugging library for instrumenting C and C++ programs
-inspired by ideas originating from Design-by-Contract.
-
HEAD- Overview;;
The following features are provided by NoBug: