Re: [isabelle] Isabelle 2014 isar-ref.pdf p149 - parentheses in the wrong place in the mixfix syntax diagram?



On Tue, 21 Oct 2014, Harry Butterworth wrote:

The mixfix syntax diagram seems to require mismatched parentheses.

Thanks for reporting this. The rail diagram got accidentally messed up in
Isabelle2013-1. I will improve that for the next release.


	Makarius

----------------------------------------------------------------------------
                              http://stop-ttip.org
----------------------------------------------------------------------------




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