Re: [isabelle] Custom inner syntax parsing in ML.



On 02/10/2019 10:51, Urban, Christian via Cl-isabelle-users wrote:
> 
> Anyway, if anybody likes to contribute "fix-fic" [*], you download the sources, make
> changes and send back the diffs. Norbert Schirmer did this recently by getting
> the fan-fiction back into a compilable state with Isabelle 2019.

I've seen this and was somewhat worried about it, because it means that
I have again explain more things about how Isabelle really works.

People who prefer a non-canonical view on Isabelle are free to do that,
but I will not support it.


	Makarius




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