close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 2407


Ignore:
Timestamp:
2015-06-18T22:37:28-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-monom.lisp

    r2404 r2407  
    5959;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    6060
     61#|
    6162
    6263(def-fixture monom-context ()
     
    9293      (r-depends-p m 3))))
    9394 
     95|#
     96
    9497;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    9598;;
     
    107110    (&body)))
    108111
    109 #|
    110112(test term-basics
    111113  "Term basics"
     
    129131    (signals
    130132        (error "Index out of bounds")
    131       (r-depends-p m 3))))
    132 |#
     133      (r-depends-p m 3))
     134    )
     135
     136  )
    133137
    134138
Note: See TracChangeset for help on using the changeset viewer.