descriptionThe Isabelle repository
ownerisabelle
last changeFri, 30 Jan 2015 17:29:51 +0100
changes
2 days ago hoelzl 2015-01-30 simp rules for return_pmf default tip
2 days ago hoelzl 2015-01-30 related permutations with bij functions
2 days ago nipkow 2015-01-30 canonical name
3 days ago wenzelm 2015-01-29 discontinued special treatment of malformed commands (reverting e46cd0d26481), i.e. errors in outer syntax failure are treated like errors in inner syntax, name space lookup etc.;
3 days ago wenzelm 2015-01-29 more explicit indication of Async_Manager_Legacy as Proof General legacy;
3 days ago wenzelm 2015-01-29 tuned bootstrap;
3 days ago wenzelm 2015-01-29 tuned;
3 days ago wenzelm 2015-01-29 explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64;
3 days ago wenzelm 2015-01-29 unused;
3 days ago wenzelm 2015-01-29 ensure that running into older execution is interruptible (see also b91dc7ab3464);
...
tags
5 months ago Isabelle2014
14 months ago Isabelle2013-2
14 months ago Isabelle2013-1
24 months ago Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
2009-04-16 Isabelle2009
...
branches
2 days ago 8300c4ddf493 default
...