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.

Ignore:
Timestamp:
2015-06-06T13:30:41-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/README

    r341 r358  
    6868Step 2. Execute Lisp commands:
    6969----------------------------------------------------------------
    70 > (load "ngrobner-package.lisp")
    71 > (ngrobner::compile-ngrobner)
     70* (load "ngrobner-package.lisp")
     71* (ngrobner::compile-ngrobner)
    7272----------------------------------------------------------------
    7373
    … …  
    7878accordingly. After that, every time you load "grobner.mac" the
    7979compiled version will be used.
     80
     81== 5AM TESTS ==
     82
     83The system is set up for using the FiveAM unit testing framework.
     84One performs the tests by loading a single file:
     85----------------------------------------------------------------
     86* (load "5am-tests")
     87----------------------------------------------------------------
    8088
    8189== ADDITIONAL COMMENTS ==
Note: See TracChangeset for help on using the changeset viewer.