Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
Mon, 04 Aug 2014 10:47:26 +0200 |
more user aliases;
|
file | diff | annotate |
Sat, 25 Jan 2014 16:35:15 +0100 |
more user aliases;
|
file | diff | annotate |
Sat, 14 Jul 2012 20:59:49 +0200 |
more user aliases;
|
file | diff | annotate |
Mon, 16 Apr 2012 23:23:08 +0200 |
more user aliases;
|
file | diff | annotate |
Sat, 24 Sep 2011 10:45:57 +0200 |
more user aliases;
|
file | diff | annotate |
Fri, 29 Oct 2010 16:04:35 +0200 |
added user aliasses (still unclear how to specify names with whitespace contained)
|
file | diff | annotate |
Wed, 16 Dec 2009 14:24:18 +0100 |
spaces not allowed, unfortunately
|
file | diff | annotate |
Wed, 16 Dec 2009 14:15:24 +0100 |
user aliasses
|
file | diff | annotate |
Tue, 29 Sep 2009 22:53:07 +0200 |
aliases for Thomas Sewell;
|
file | diff | annotate |
Thu, 12 Mar 2009 23:12:53 +0100 |
more user aliases;
|
file | diff | annotate |
Mon, 19 Jan 2009 13:38:23 +0100 |
lcp = paulson
|
file | diff | annotate |
Sun, 18 Jan 2009 21:36:59 +0100 |
corrected user aliases
|
file | diff | annotate |
Sun, 18 Jan 2009 21:12:06 +0100 |
added churn script
|
file | diff | annotate |