| Sat, 18 Apr 2015 20:44:55 +0200 | wenzelm | clarified syntax diagram: 'obtains' does not allow prop_pat (although it could and should at some point); | changeset | files |
| Sat, 18 Apr 2015 19:36:07 +0100 | kleing | tweak afp mac options, try 64bit | changeset | files |
| Fri, 17 Apr 2015 19:49:40 +0200 | haftmann | compactified proposition | changeset | files |
| Fri, 17 Apr 2015 22:59:19 +0200 | wenzelm | merged | changeset | files |
| Fri, 17 Apr 2015 20:53:47 +0200 | wenzelm | Added tag Isabelle2015-RC1 for changeset c9760373aa0f | changeset | files |
| Fri, 17 Apr 2015 22:15:35 +0200 | wenzelm | tuned spelling; | changeset | files |
| Fri, 17 Apr 2015 20:53:15 +0200 | wenzelm | sorted by automatic regeneration; | changeset | files |