[isabelle] splash?



Starting as
$ Isabelle.run
always opens scratch.thy
Starting as
$ Isabelle.run -nosplash
opens blank

Is this the expected behavior?



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.