make-all-nj
author nipkow
Tue May 09 22:10:08 1995 +0200 (1995-05-09)
changeset 1114 c8dfb56a7e95
parent 547 23e30d32cd0d
permissions -rwxr-xr-x
Prod is now a parent of Lfp.
Added thm induct2 to Lfp.
Changed the way patterns in abstractions are pretty printed.
It has become simpler now but fails if split has more than one argument
because then the ast-translation does not match.
     1 #! /bin/sh
     2 #Make entire system using Standard ML of New Jersey
     3 #Pathnames will have to be modified for your site
     4 ISABELLEBIN=/homes/`whoami`/bin
     5 ISABELLECOMP=sml
     6 export ISABELLEBIN ISABELLECOMP 
     7 nohup make-all $*