diff etc/TUTORIAL.pl @ 48733:ce58108a36d0

(Unloading): Fix last change for load-history.
author Markus Rost <rost@math.uni-bielefeld.de>
date Sat, 07 Dec 2002 22:37:02 +0000
parents e7e9b4581430
children b027da192726
line wrap: on
line diff