Switch to side-by-side view
--- a/ASCII.def +++ b/ASCII.def @@ -1,4 +1,8 @@ DEFINITION MODULE ASCII; + + (*-----------------------------------------------------------------------*) + (* Definition von ASCII Zeichen *) + (*-----------------------------------------------------------------------*) (* $Id: ASCII.def,v 1.1 2015/09/13 20:48:40 mriedl Exp mriedl $ *)