-
Guillaume Melquiond authored
The new shortcut for "copy" forces to change the one for "collapse all proven", which is now "!". The "expand all" command has been removed, since pressing "+" twice (i.e., double expand) now has the same effect.
61187e96