| #
30759934 |
|
10-Feb-2020 |
wenzelm <none@none> |
updated for release;
|
| #
5baf85c2 |
|
02-Apr-2019 |
wenzelm <none@none> |
misc tuning for release;
|
| #
78a54074 |
|
06-Jun-2018 |
wenzelm <none@none> |
updated for release;
tuned;
|
| #
599bcfe3 |
|
21-Aug-2017 |
wenzelm <none@none> |
misc updates for release;
|
| #
1ef22a74 |
|
31-Dec-2015 |
wenzelm <none@none> |
misc updates for release;
|
| #
be2e2524 |
|
08-Apr-2015 |
wenzelm <none@none> |
misc tuning for release;
|
| #
a5a14039 |
|
08-May-2014 |
wenzelm <none@none> |
update for release;
|
| #
f98f3fd4 |
|
31-Dec-2012 |
wenzelm <none@none> |
updated for release;
|
| #
13e5e136 |
|
13-Apr-2012 |
wenzelm <none@none> |
some updates for release;
|
| #
5761e0fb |
|
07-Jan-2011 |
wenzelm <none@none> |
updated for 2011;
emphasize "contributors" in the header as well, which are already mentioned in the body text;
|
| #
238eb369 |
|
28-May-2010 |
wenzelm <none@none> |
some updates for release;
|
| #
186f98b8 |
|
15-Apr-2009 |
wenzelm <none@none> |
updated for Isabelle2009;
|
| #
405eb44a |
|
20-Jun-2008 |
wenzelm <none@none> |
updated for 2008;
proper name of TUM;
|
| #
6b25ced1 |
|
01-Oct-2007 |
wenzelm <none@none> |
updated year to 2007;
|
| #
1937038f |
|
21-Sep-2005 |
wenzelm <none@none> |
updated for Isabelle2005;
|
| #
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
| #
9cecea47 |
|
19-Jun-2003 |
paulson <none@none> |
inserted TUM in other places
|
| #
b1a03584 |
|
16-Jun-2003 |
paulson <none@none> |
added TUM
|
| #
ad3daa14 |
|
13-Dec-1993 |
lcp <none@none> |
new year
|
| #
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|