Re: [isabelle] NEW AFP entry: Shivers' Control Flow Analysis
On Wed, 17 Nov 2010, Brian Huffman wrote:
I would also like to address the positioning of HOLCF in the online
documentation. Currently it is listed on each of these pages:
Really, HOLCF should be listed next to HOL-Nominal, etc. here:
These categories are exactly correlated with the directory structure.
Toplevel entries show up in the 2 upper index files, sub-sessions of these
in the lower one.
Changes of the toplevel structure always require various manual adaptions
in administrative scripts, that might also take some time to stabilize.
Whatever is done should we well thought out, and happen not too shortly
before a release deadline.
This archive was generated by a fusion of
Pipermail (Mailman edition) and