Mon, 06 Aug 2012 15:01:15 +0100 | paulson | switching from Emacs.app to Aquamacs.app | changeset | files |
Mon, 06 Aug 2012 15:12:18 +0200 | huffman | modify group_cancel simprocs so that they can cancel multiple terms at once | changeset | files |
Mon, 06 Aug 2012 16:05:29 +0200 | wenzelm | "isabelle options" prints Isabelle system options; | changeset | files |