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

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


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.