descriptionThe Isabelle repository
ownerisabelle
last changeWed, 20 Aug 2014 17:30:43 +0200
changes
2 hours ago wenzelm 2014-08-20 proper static closure of ML tactic -- data slot is used twice, for ML compiler and transformed declaration; default tip
3 hours ago wenzelm 2014-08-20 support for declaration within token source;
4 hours ago wenzelm 2014-08-20 more uniform data slot;
5 hours ago wenzelm 2014-08-20 default command position is only valid for default text chunk (amending dcb758188aa6);
8 hours ago wenzelm 2014-08-20 tuned -- more total;
8 hours ago wenzelm 2014-08-20 tuned;
9 hours ago wenzelm 2014-08-20 support for nested Token.src within Token.T; tuned signature;
21 hours ago wenzelm 2014-08-19 tuned signature -- moved type src to Token, without aliases;
26 hours ago wenzelm 2014-08-19 merged
26 hours ago wenzelm 2014-08-19 clarified modules;
...
tags
2 days ago Isabelle2014-RC4
10 days ago Isabelle2014-RC3
2 weeks ago Isabelle2014-RC2
3 weeks ago Isabelle2014-RC1
6 weeks ago Isabelle2014-RC0
8 months ago Isabelle2013-2
9 months ago Isabelle2013-1
18 months ago Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
...
branches
2 hours ago beb4b7c0bb30 default
...