[isabelle-dev] Two problems

Jasmin Blanchette jasmin.blanchette at gmail.com
Tue Dec 4 08:21:17 CET 2012

Previous message (by thread): [isabelle-dev] Two problems
Next message (by thread): [isabelle-dev] Two problems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am 04.12.2012 um 07:51 schrieb Lars Noschinski:

> Did you try starting jEdit with -f to force a fresh build? 

That did the trick. Thanks!

Jasmin

Previous message (by thread): [isabelle-dev] Two problems
Next message (by thread): [isabelle-dev] Two problems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list