[isabelle] Thy_Load structure don't exists for Windows
In Isabelle 2016 the structure Thy_Load does not exist (at least for
The function Thy_Load.master_directory is renamed
No of these changes are mentioned in the NEWS.
And imao this line: "ThyLoad ~> Thy_Load" in the NEWS file is useless the
structure does not even exist. Again I am talking about Windows
distribution unless there is some command to execute in order to include
this structure in the build!!
This archive was generated by a fusion of
Pipermail (Mailman edition) and