Changeset 98 in CGBLisp for trunk/src/prover.lisp

Timestamp:

Feb 2, 2009, 11:55:20 AM (15 years ago)

Author:

Marek Rychlik

Message:

Removed useless RCS version info. Added missing Emacs mode lines.

File:

• trunk/src/prover.lisp (modified) (2 diffs)

trunk/src/prover.lisp

@@ -1 +1 @@
 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
 #|
-        $Id: prover.lisp,v 1.3 2009/01/22 04:06:51 marek Exp $
   *--------------------------------------------------------------------------*
   |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
@@ -19 +18 @@
 (in-package "PROVER")
 
-(proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
+(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
 
 (defvar *prover-order* #'grevlex>