[isabelle] Thy_Load structure don't exists for Windows



Dear All,

In Isabelle 2016 the structure Thy_Load  does not exist (at least for
Windows distribution).

The function Thy_Load.master_directory is renamed
 Resources.master_directory

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!!

Best,

Yakoub.



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