Changeset 98 in CGBLisp for trunk/src/string-grobner.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/string-grobner.lisp (modified) (2 diffs)

trunk/src/string-grobner.lisp

@@ -1 +1 @@
 ;;; -*- Mode: Common-Lisp; Package: String-Grobner; Base: 10 -*-
 #|
-        $Id: string-grobner.lisp,v 1.3 2009/01/22 04:07:58 marek Exp $
   *--------------------------------------------------------------------------*
   |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
@@ -30 +29 @@
 (in-package "STRING-GROBNER")
 
-(proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
+(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
 
 (defun string-normal-form (f fl vars