[isabelle] isabelle make



Hi all,

I noticed that

  isabelle make

will always execute an existing IsaMakefile, even for

  isabelle make -f other-makefile

is there a specific reason for this behavior (which I did not expect)?

cheers

chris





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