| Sat, 31 Aug 2013 12:53:39 +0200 | wenzelm | added common alternative for == (its ambiguity also avoids conflict with ==>); | changeset | files |
| Sat, 31 Aug 2013 12:14:19 +0200 | wenzelm | more accurate description: Swing/L&F has additional handlers; | changeset | files |
| Sat, 31 Aug 2013 18:18:33 +0200 | panny | handle selector formulae with no corecursive calls | changeset | files |
| Sat, 31 Aug 2013 00:40:21 +0200 | wenzelm | merged | changeset | files |
| Sat, 31 Aug 2013 00:39:59 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 30 Aug 2013 23:41:09 +0200 | wenzelm | simplified (see 7c39677f9ea0); | changeset | files |
| Fri, 30 Aug 2013 23:38:18 +0200 | wenzelm | sort items according to persistent history of frequency of use; | changeset | files |