Changeset 50cbdc in git for Singular/LIB/general.lib

Timestamp:

Aug 27, 2001, 4:48:02 PM (23 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

2567b5a6cb7109be5a83e53eb94abb1c38fb9945

Parents:

3de58c9ca0aeaafdf5cb29f986967bffa405b542

Message:

*hannes: merge-2-0-2


git-svn-id: file:///usr/local/Singular/svn/trunk@5619 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/general.lib (modified) (2 diffs)

Singular/LIB/general.lib

@@ -2 +2 @@
 //anne, added deleteSublist and watchdog 12.12.2000
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: general.lib,v 1.39 2001-03-26 14:05:30 Singular Exp $";
+version="$Id: general.lib,v 1.40 2001-08-27 14:47:50 Singular Exp $";
 category="General purpose";
 info="
@@ -1161 +1161 @@
       ERROR("First argument of watchdog has to be a positive integer.");
     }
+  }
+  else
+  {
     ERROR("MP-support is not enabled in this version of Singular.");
   }