Changeset 175 for trunk/backmath/generate_case.lisp

Timestamp:

12/31/07 19:24:02 (4 years ago)

Author:

BCS

Message:

I've added a lisp program that does some fo the work for adding new rules.
More test cases in backmath.d
more rules in meta.lisp

Files:

• trunk/backmath/generate_case.lisp (modified) (1 diff)

trunk/backmath/generate_case.lisp

@@ -422 +422 @@
-
-                ;; comment/output trace
-/ " (format nil "~s" from) " -> " (format nil "~s" to)
++ " (format nil "~s" from) " -> " (format nil "~s" to) " +/"
-
-                ;; the form test