| #
38445316 |
|
17-Jul-2018 |
wenzelm <none@none> |
more ANNOUNCE;
|
| #
326e1a73 |
|
06-Jul-2018 |
wenzelm <none@none> |
prefer HTTPS;
|
| #
f83e9b10 |
|
02-Jul-2018 |
wenzelm <none@none> |
tuned;
|
| #
d526b309 |
|
01-Jul-2018 |
wenzelm <none@none> |
tuned;
|
| #
b5651d18 |
|
29-Jun-2018 |
wenzelm <none@none> |
misc tuning and updates for release;
|
| #
78a54074 |
|
06-Jun-2018 |
wenzelm <none@none> |
updated for release;
tuned;
|
| #
7e7d2b86 |
|
08-Sep-2017 |
wenzelm <none@none> |
updated for release;
|
| #
12ca0ee9 |
|
03-Sep-2017 |
wenzelm <none@none> |
updated for release;
|
| #
38f57df5 |
|
21-Aug-2017 |
wenzelm <none@none> |
tuned;
|
| #
599bcfe3 |
|
21-Aug-2017 |
wenzelm <none@none> |
misc updates for release;
|
| #
30c5be16 |
|
12-Dec-2016 |
wenzelm <none@none> |
tuned;
|
| #
d3409f87 |
|
28-Oct-2016 |
wenzelm <none@none> |
tuned;
|
| #
9b963d0c |
|
28-Oct-2016 |
wenzelm <none@none> |
tuned;
|
| #
4a48979f |
|
24-Oct-2016 |
wenzelm <none@none> |
updated for release;
|
| #
17a34890 |
|
07-Oct-2016 |
wenzelm <none@none> |
updated for release;
|
| #
bdd259e4 |
|
18-Jan-2016 |
wenzelm <none@none> |
updated mirrors according to website;
|
| #
1712af77 |
|
16-Jan-2016 |
wenzelm <none@none> |
tuned URLs according to website;
|
| #
f52d581e |
|
06-Jan-2016 |
wenzelm <none@none> |
misc tuning for release;
|
| #
31fc9175 |
|
05-Jan-2016 |
wenzelm <none@none> |
misc tuning for release;
|
| #
bcfeb27d |
|
01-Jan-2016 |
wenzelm <none@none> |
tuned;
|
| #
2f55fc89 |
|
01-Jan-2016 |
wenzelm <none@none> |
updated for release;
|
| #
1ef22a74 |
|
31-Dec-2015 |
wenzelm <none@none> |
misc updates for release;
|
| #
24e60637 |
|
17-Apr-2015 |
wenzelm <none@none> |
tuned spelling;
|
| #
c5a56f5d |
|
17-Apr-2015 |
wenzelm <none@none> |
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
|
| #
71ac4934 |
|
17-Apr-2015 |
wenzelm <none@none> |
ANNOUNCE material, based on NEWS;
|
| #
c93e2b42 |
|
11-Apr-2015 |
wenzelm <none@none> |
updated for release;
|
| #
fb9523a4 |
|
05-Jul-2014 |
wenzelm <none@none> |
update for release;
|
| #
4d1df3d6 |
|
04-Jul-2014 |
wenzelm <none@none> |
tuned;
|
| #
21d8dcef |
|
04-Jul-2014 |
wenzelm <none@none> |
tuned;
|
| #
fadee9c6 |
|
04-Jul-2014 |
wenzelm <none@none> |
misc tuning for release;
|
| #
592c7699 |
|
01-Jul-2014 |
wenzelm <none@none> |
misc updates for release;
|
| #
bd36ac7e |
|
20-Nov-2013 |
wenzelm <none@none> |
updated to Isabelle2013-2;
|
| #
7b8f5179 |
|
03-Oct-2013 |
wenzelm <none@none> |
tuned;
|
| #
df4e6c56 |
|
03-Oct-2013 |
wenzelm <none@none> |
tuned;
|
| #
c7ace4b0 |
|
02-Oct-2013 |
wenzelm <none@none> |
some highlights of Isabelle2013-1 based on NEWS;
|
| #
75535ad5 |
|
28-Sep-2013 |
wenzelm <none@none> |
updated for release;
|
| #
d2107eae |
|
25-Jan-2013 |
wenzelm <none@none> |
updated for release;
|
| #
5ca972cb |
|
20-Jan-2013 |
wenzelm <none@none> |
misc tuning for release;
|
| #
8108f353 |
|
05-May-2012 |
wenzelm <none@none> |
some highlights of Isabelle2012;
|
| #
13e5e136 |
|
13-Apr-2012 |
wenzelm <none@none> |
some updates for release;
|
| #
fc9fde92 |
|
18-Sep-2011 |
wenzelm <none@none> |
tentative announcement based on current NEWS;
|
| #
332aae5a |
|
07-Sep-2011 |
wenzelm <none@none> |
some updates for release;
|
| #
e4be453b |
|
17-Jan-2011 |
wenzelm <none@none> |
tuned;
|
| #
05d14613 |
|
17-Jan-2011 |
wenzelm <none@none> |
some announcement;
|
| #
e92c08cb |
|
07-Jun-2010 |
wenzelm <none@none> |
tuned ANNOUNCEMENT;
|
| #
2a0984d0 |
|
04-Jun-2010 |
haftmann <none@none> |
first proposal for a announcement
|
| #
238eb369 |
|
28-May-2010 |
wenzelm <none@none> |
some updates for release;
|
| #
304a73d1 |
|
28-Nov-2009 |
wenzelm <none@none> |
added "sos";
added subgoal focus;
|
| #
b90444d1 |
|
23-Nov-2009 |
haftmann <none@none> |
consisten upper/lower case
|
| #
91a5cc86 |
|
23-Nov-2009 |
wenzelm <none@none> |
more tuning for release;
|
| #
66f17212 |
|
23-Nov-2009 |
haftmann <none@none> |
ANNOUNCE
|
| #
e50c8c42 |
|
22-Nov-2009 |
wenzelm <none@none> |
misc tuning and updates for official release;
|
| #
99f1dbf5 |
|
15-Apr-2009 |
wenzelm <none@none> |
tuned;
|
| #
6c8f537d |
|
14-Apr-2009 |
wenzelm <none@none> |
tuned;
|
| #
496f32b1 |
|
14-Apr-2009 |
wenzelm <none@none> |
added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;
|
| #
501c0cfc |
|
02-Apr-2009 |
wenzelm <none@none> |
updates for Isabelle2009 release;
|
| #
8f0f7b35 |
|
04-Jun-2008 |
haftmann <none@none> |
adjusted location of cambridge website
|
| #
67cf4712 |
|
03-Jun-2008 |
wenzelm <none@none> |
some fine-tuning;
|
| #
86cd7099 |
|
02-Jun-2008 |
wenzelm <none@none> |
reorganized isar-ref;
|
| #
15e59ce8 |
|
28-May-2008 |
wenzelm <none@none> |
tuned;
|
| #
fa3df208 |
|
28-May-2008 |
wenzelm <none@none> |
added some notable improvements;
|
| #
b5fee625 |
|
28-May-2008 |
wenzelm <none@none> |
prepared for Isabelle2008;
|
| #
75bec6d3 |
|
05-Nov-2007 |
wenzelm <none@none> |
tuned;
|
| #
f6ca33e3 |
|
06-Nov-2007 |
haftmann <none@none> |
added autoquickcheck
|
| #
ac68f7de |
|
04-Nov-2007 |
wenzelm <none@none> |
the all-important ML antiquotations are back;
tuned;
|
| #
a4b5f49f |
|
02-Nov-2007 |
haftmann <none@none> |
tuned
|
| #
8af85138 |
|
30-Oct-2007 |
haftmann <none@none> |
fixed typo
|
| #
b5e295f0 |
|
29-Oct-2007 |
haftmann <none@none> |
fixed typo
|
| #
bb255570 |
|
29-Oct-2007 |
haftmann <none@none> |
added nbe
|
| #
200f9970 |
|
26-Oct-2007 |
haftmann <none@none> |
added list comprehension syntax
|
| #
4a135633 |
|
26-Oct-2007 |
haftmann <none@none> |
added hint for algebra
|
| #
5bc30d3e |
|
22-Oct-2007 |
wenzelm <none@none> |
tuned Nominal entry;
|
| #
f70407c1 |
|
02-Oct-2007 |
wenzelm <none@none> |
tuned;
|
| #
f8ea8af3 |
|
01-Oct-2007 |
wenzelm <none@none> |
preliminary material for Isabelle2007;
|
| #
e5f5a7ef |
|
28-Sep-2005 |
haftmann <none@none> |
adjusted www links
|
| #
69198887 |
|
28-Sep-2005 |
wenzelm <none@none> |
revert 'defs' advertisement;
|
| #
afa1f8e2 |
|
27-Sep-2005 |
wenzelm <none@none> |
more details about incomplete 'defs';
|
| #
bfa0b1ea |
|
21-Sep-2005 |
wenzelm <none@none> |
tuned;
|
| #
1598e315 |
|
21-Sep-2005 |
wenzelm <none@none> |
updated for Isabelle2005;
|
| #
cc73aaf1 |
|
19-Apr-2004 |
kleing <none@none> |
add HOL4
|
| #
7df58e0a |
|
17-Apr-2004 |
kleing <none@none> |
added sydney mirror
|
| #
fd2ac7c4 |
|
17-Apr-2004 |
nipkow <none@none> |
2003 -> 2004
|
| #
c9c0544a |
|
12-May-2003 |
nipkow <none@none> |
*** empty log message ***
|
| #
d3d7b697 |
|
12-May-2003 |
paulson <none@none> |
tweaked
|
| #
df6af5f6 |
|
12-May-2003 |
nipkow <none@none> |
*** empty log message ***
|
| #
414caa86 |
|
08-Mar-2002 |
wenzelm <none@none> |
drop Stanford mirror;
|
| #
e61a4484 |
|
07-Mar-2002 |
wenzelm <none@none> |
tuned;
|
| #
6bdf8d11 |
|
04-Mar-2002 |
wenzelm <none@none> |
tuned;
|
| #
d7a272e7 |
|
03-Mar-2002 |
kleing <none@none> |
MicroJava news
|
| #
c0f24628 |
|
01-Mar-2002 |
wenzelm <none@none> |
tuned;
|
| #
b753897a |
|
01-Mar-2002 |
prensani <none@none> |
Completed annonce of HoareParallel
|
| #
a8123ca6 |
|
01-Mar-2002 |
wenzelm <none@none> |
tuned;
|
| #
1130b7cc |
|
01-Mar-2002 |
paulson <none@none> |
lcp's try
|
| #
4e8ddad5 |
|
28-Feb-2002 |
wenzelm <none@none> |
more stuff;
|
| #
b104cdc9 |
|
27-Feb-2002 |
wenzelm <none@none> |
tuned;
|
| #
82663c98 |
|
24-Feb-2002 |
wenzelm <none@none> |
tuned;
|
| #
9efe95d2 |
|
27-Sep-2001 |
wenzelm <none@none> |
prepared for Isabelle2001;
|
| #
f73ca8ea |
|
13-Feb-2001 |
wenzelm <none@none> |
tuned;
|
| #
7d3f09eb |
|
13-Feb-2001 |
paulson <none@none> |
swapped Fleuriot and Paulson
|
| #
eea5b1eb |
|
05-Feb-2001 |
wenzelm <none@none> |
tuned;
|
| #
2dccfd8e |
|
06-Oct-2000 |
wenzelm <none@none> |
final tuning;
|
| #
b07c7a31 |
|
06-Oct-2000 |
wenzelm <none@none> |
tuned;
|
| #
4ba9dcd0 |
|
06-Oct-2000 |
wenzelm <none@none> |
tuned;
|
| #
9fb58f17 |
|
06-Oct-2000 |
wenzelm <none@none> |
tuned;
|
| #
49b8e0ad |
|
06-Oct-2000 |
wenzelm <none@none> |
tuned;
|
| #
0c8387b5 |
|
06-Oct-2000 |
wenzelm <none@none> |
draft for 99-1;
|
| #
5c29d0f3 |
|
11-Sep-2000 |
wenzelm <none@none> |
template;
|