On 23/03/2013, at 2:05 PM, René Thiemann rene.thiem...@uibk.ac.at wrote:
I recently got some message from sourceforge, that they changed their
directory structure. So I have no problems accessing the afp at
ssh://login@hg.code.sf.net/p/afp/code
Everybody with access to the AFP repository at
On Mon, 11 Mar 2013, Lars Noschinski wrote:
Indeed and I'm in happy situation that I'm able to share my sources.
Unfortunately, due to necessary background theory, this example is quite
large and depends on autocorres[1] and hence Isabelle 2012.
[1]
There is not yet a version of the C parser for Isabelle 2013, but there will be
soon.
Michael
On 26/03/2013, at 4:01, Lars Noschinski nosch...@in.tum.de wrote:
On 25.03.2013 17:21, Makarius wrote:
On Mon, 11 Mar 2013, Lars Noschinski wrote:
Indeed and I'm in happy situation that I'm able
On 26/03/13 00:40, Makarius wrote:
On Mon, 25 Mar 2013, David Greenaway wrote:
[...]
The problem that this patch fixes is internal to the Isabelle sources,
and not directly related to how jEdit measures strings. As mentioned
above, Pretty uses FontMetrics.stringWidth to determine if text will
