Switch to side-by-side view
--- a/TIO.def +++ b/TIO.def @@ -12,7 +12,7 @@ (* Licence : GNU Lesser General Public License (LGPL) *) (*------------------------------------------------------------------------*) - (* $Id: TIO.def,v 1.2 2018/03/21 11:05:30 mriedl Exp mriedl $ *) + (* $Id: TIO.def,v 1.3 2018/06/08 21:38:43 mriedl Exp mriedl $ *) VAR ExpAnz : CARDINAL; (* *** Obsolet *** *) (* Legt die Anzahl der Ziffern im Exponenten fest, *)