Hi Clemens,
On 17.03.2013 20:43, Clemens Ballarin wrote:
Dear Developers,
What it the current best practice for testing my change to Isabelle?
There used to be testboard, but I'm unsure how that evolved. Is there
a similar service for testing my change to Isabelle against the AFP?
I do use
On Mon, 18 Mar 2013, Dmitriy Traytel wrote:
Another alternative is to build everything on your own machine, which is
feasible thanks to the wonders of PolyML 5.5 and the new build system. All
you need to do is to clone the AFP repository, register it as a component
(via init_component
On Sat, 16 Mar 2013, Lawrence Paulson wrote:
At d5c95b55f849
~/isabelle/Repos/src/HOL: isabelle components -a
### Missing Isabelle component:
/Users/lp15/.isabelle/contrib/jedit_build-20130104
Getting http://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz;
Unpacking
On Sat, 16 Mar 2013, Florian Haftmann wrote:
Hi Alex,
What is the current (as of, say, d5c95b55f849) method for getting
exception traces? I am trying to debug a low-level exception such as
exception Match raised (line 287 of term.ML)
which happens somewhere below partial_function. Some
On Sat, 16 Mar 2013, Lawrence Paulson wrote:
At d5c95b55f849
~/isabelle/Repos/src/HOL: isabelle components -a
### Missing Isabelle component:
/Users/lp15/.isabelle/contrib/jedit_build-20130104
Getting http://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz;
Unpacking
On Sat, 9 Mar 2013, Lars Noschinski wrote:
I'm currently using revision 4b5a5e26161d of Isabelle and after working
with it for one day without stopping jEdit, I noticed a annoying
behaviour of the popup menus which you get automatically by hovering
over a command with a message:
They pop up
On Mon, 18 Mar 2013, Lawrence Paulson wrote:
The June 2011 date is of the unpacked contents. The compressed archive
file is dated January 2013.
I've looked around on my own local file-system. The 14-Jun-2011 date
stamp is there for the *toplevel* directory of various jedit_build
Just to clarify: these messages have appeared out of order due to mailing list
moderation (because my image was too big).
The only computers in question are my laptop and my main workstation, and the
image in my last two messages refer to the same computer.
Larry
On 18 Mar 2013, at 11:46,
On Mon, 2013-03-18 at 12:16 +0100, Makarius wrote:
If anything is missing or wrong in README_REPOSITORY, I ask once again to
point it out, either on isabelle-dev or privately, and not to make
unreliable/unmaintained clones of such important information.
Occasionally
cd isabelle
hg pull
On Sat, 9 Mar 2013, Lars Noschinski wrote:
This behaviour only popped up after working with one session for a
longer time and jEdit was having frequent hiccups then, so I guess
this was due to memory pressure (max memory usage was near the limit
of 1600m set for the JVM).
On 03/18/2013 01:29
On 03/18/2013 12:47 PM, Makarius wrote:
On Sat, 16 Mar 2013, Florian Haftmann wrote:
you have to watch the »Raw output« buffer (via Plugins - Isabelle).
Toplevel.debug and Runtime.debug are the same flag, with slightly
varying purpose over the years, but now it is just for exception_trace
11 matches
Mail list logo
