← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/1999/calculus/solutions/README

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/1999/calculus/solutions/README
 
1
To certify these books, simply execute make in a Unix shell.  Or, use the
 
2
dependencies in Makefile to certify individually.  If you desire clarification,
 
3
please write to Matt Kaufmann, kaufmann@cs.utexas.edu.  The solutions are
 
4
organized as follows.
 
5
 
 
6
 Exercises 6.1 - 6.4:  partition-defuns.lisp
 
7
 
 
8
 Exercise 6.5:         partitionp-make-partition.lisp
 
9
 
 
10
 Exercise 6.6:         mesh-make-partition.lisp.
 
11
 
 
12
 Exercise 6.7:         mesh-append.lisp
 
13
 
 
14
 Exercise 6.8:         riemann-rcfn-helpers.lisp