Recursive equations to be used for code generation are now registered
via RecfunCodegen.add
#!/bin/sh#make-dist <DIR> #make a distribution directory of Isabelle sources. Example: # rm -r /usr/groups/theory/isabelle/91# make-dist /usr/groups/theory/isabelle/91#BEFORE MAKING A NEW DISTRIBUTION VERSION, CHECK...# * that make-all works perfectly# * that README files are up-to-date# * that the version number has been updated#This version copies EVERYTHING!!!!!!!!!!!!!!!!set -e #terminate if error#Pure Isabellemkdir ${1?'No destination directory specified'}cp -ipr . $1#TO WRITE POLY/ML AND ISABELLE TAPES, USE SHELL SCRIPT write-dist#TO PACK FOR EMAIL, USE SHELL SCRIPTS make-emaildist, send-emaildist