make-dist

tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts
vs. pttrn/pttrns;

+
−#!/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 Isabelle
+
−mkdir ${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