Hi again,
the current state of affairs concerning 'a set can be followed there:
https://isabelle.in.tum.de/isanotes/index.php/Having_%27a_set_back
Although I'd appreciate to see progress there, I do not ask to distract
any attention from tasks for the upcoming release.
Two remarks concerning
On 26/09/2011, at 6:43 PM, Florian Haftmann wrote:
An aside: have there ever been thoughts about adding subcommand
completion for isabelle in bash? At first sight this looks as a nice
thing to have, but maybe there have been deeper consideration *not* to
attempt this.
I've been using the
On Mon, 26 Sep 2011, Florian Haftmann wrote:
An aside: have there ever been thoughts about adding subcommand
completion for isabelle in bash? At first sight this looks as a nice
thing to have, but maybe there have been deeper consideration *not* to
attempt this.
There are no deeper reasons
Hi David,
as far as I know there is no such development, however Kevin Van Horn
asked half a year ago a similar question:
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2011-March/msg00033.html
There is already Probability theory in Isabelle/HOL:
Am 26.09.2011 um 20:20 schrieb Makarius:
I am about to produce the release clone. The current tip eb7a797ade0f will
probably be the fork point. This includes a few changes by Lukas and Jasmin
from today, and I understand that these were meant to go into this release,
not the next one.
On Fri, 23 Sep 2011, René Thiemann wrote:
Dear Makarius,
A preliminary test distribution is now available from
http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Sep-2011/download.html
A preliminary test distribution is now available from
The main isabelle repository http://isabelle.in.tum.de/repos/isabelle/ is
now back to post-release mode, see
http://isabelle.in.tum.de/repos/isabelle/rev/20b3377b08d7
This means the flow of changes for the next release, after the current
one, can continue. I merely ask to avoid huge upheavals
The release branch for Isabelle2011-1 is now at
http://isabelle.in.tum.de/repos/isabelle-release
Any small changes and amendments can be mailed to me (cf. hg export or
hg bundle). Things to be added to isabelle-release should *not* be
pushed on the main isabelle repository, to avoid the
On 09/26/2011 11:38 PM, Makarius wrote:
isatest will also test http://isabelle.in.tum.de/repos/isabelle-release
within the next few weeks. (In the past I used to have a minimal isatest
for http://isabelle.in.tum.de/repos/isabelle but that was superseded by
On 27/09/2011, at 7:45 AM, Alexander Krauss wrote:
On 09/26/2011 11:38 PM, Makarius wrote:
isatest will also test http://isabelle.in.tum.de/repos/isabelle-release
within the next few weeks. (In the past I used to have a minimal isatest
for http://isabelle.in.tum.de/repos/isabelle but that
10 matches
Mail list logo
