Re: [isabelle] Title of "Programming and Proving" [Re: ?spam? Re: Simpler theorem statements, and proofs for them]

On Fri, 23 Nov 2012, Tobias Nipkow wrote:

However, there is a small linguistic point, which you may or may not have intended to make: "Miscellaneous" material usually comes at the end. These are "Tutorials", no qualification. The next subsection isn't called "Miscellaneous Reference Manuals" either, and the whole section is called "Tutorials and manuals". Makarius, could you drop the "Miscellaneous", please?

There has been a lot of fluctuation and historical jokes in that file. At some point the main reference manuals where pushed to the end along with the "Old Manuals". Then there were "Miscellaneous Tutorials" and "Main Reference Manuals", with "main" counted among the tutorials. Now it is "Miscellaneous Tutorials" and "Reference Manuals", with "main" included in reference manuals, which might explain why the title lost its "Main".

So the next logical step is indeed "Tutorials" and "Reference Manuals" for the coming release, to disentangle that a bit more.


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