On Di, 2013-10-01 at 14:12 +0900, Christian Sternagel wrote:
> Thanks Jasmin!
>
> @Peter: Does this patch work with your developments as expected?
>
At first glance, everything looks fine! Thank you for fixing this.
--
Peter
p.s. I've commited the patch, it's e13b0c88c798
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: -- trou
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 schrieb:
>After updating the repository today (and a seemingly good run of
>'isabelle components -a'
Quoting Lars Noschinski :
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.
Thanks! 'jedit -bf -l HOL' worked.
Clemens
_
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 t
On 02.10.2013 01:09, Alexander Krauss wrote:
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 availabl
