Re: [isabelle] isar-ref: railsetup



On Tue, 9 Dec 2014, Christian Sternagel wrote:

I guess in isar-ref (page 73) it should be "railsetup" instead of "pdfsetup" (or maybe both)?

It should be just railsetup.  I will change that.


	Makarius

----------------------------------------------------------------------------
                https://stop-ttip.org/signatures-member-states
----------------------------------------------------------------------------




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