After updating the repository today (and a seemingly good run of
'isabelle components -a') 'isabelle jedit -l HOL' gives me
2013-10-01 20:42:22.345 java[35294:903] *** NSInvocation: warning:
object 0x10ad24390 of class 'ThreadUtilities' does not implement
methodSignatureForSelector: --
Try running jedit -bf, if that does not help, manually remove the build
artifacts (I.e. the jar files). Sometimes rebuilding of the Java components
doors not work reliably.
Clemens Ballarin balla...@in.tum.de schrieb:
After updating the repository today (and a seemingly good run of
'isabelle
On 09/30/2013 02:41 PM, Makarius wrote:
On Mon, 30 Sep 2013, Manuel Eberl wrote:
On 30/09/13 11:49, Makarius wrote:
On Mon, 23 Sep 2013, Manuel Eberl wrote:
I sent my changes to Alexander Krauss last Wednesday so that he can
review them.
We are now getting very close to the fork-point for
On 09/27/2013 11:49 AM, Lars Noschinski wrote:
It might be a good idea to implement a strategy which tests the existing
heads in reverse chronological order (commits pushed last get tested
first), but I am not sure whether this information is available in
Mercurial (we have the commit date, but