bin/isabelle-process
2001-09-08 wenzelm 2001-09-08 smart selection of isabelle-process versus isabelle-interface;