Re: [isabelle] 2014-RC1 issues



An issue with symlinks:

Given file a file "/home/lars/projekte/test.ML" and symlink
"/home/lars/P" to "projekte" and a theory

theory Scratch imports Pure
begin

ML_file "/home/lars/P/test.ML"

end

Then a click on the file name will open the correct file, but without
any annotations.




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