\n at end;
authorwenzelm
Thu Oct 09 18:01:27 1997 +0200 (1997-10-09)
changeset 3825478461d77e88
parent 3824 9fdde15e3215
child 3826 0caedb36900d
\n at end;
lib/Tools/fixdots
     1.1 --- a/lib/Tools/fixdots	Thu Oct 09 17:45:03 1997 +0200
     1.2 +++ b/lib/Tools/fixdots	Thu Oct 09 18:01:27 1997 +0200
     1.3 @@ -36,4 +36,4 @@
     1.4  else
     1.5    find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \
     1.6      xargs $PERL $ISABELLE_HOME/lib/scripts/fixdots.pl
     1.7 -fi
     1.8 \ No newline at end of file
     1.9 +fi