Re: [isabelle] Isabelle/PIDE as IDE for Standard ML



On Mon, 17 Nov 2014, Makarius wrote:

Here is the corresponding entry on my new website/blog:
http://sketis.net/?p=103

This is a permanent link that can be used elsewhere, despite the slightly odd name, which is normal in WordPress, I think.

There was a friendly off-list hint to improve on that. So after changing some WordPress settings the above link is now:

  http://sketis.net/2014/isabellepide-as-ide-for-standard-ml


	Makarius

----------------------------------------------------------------------------
                  http://stop-ttip.org  909,092 people so far
----------------------------------------------------------------------------




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