#
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
|