[Agda] The proving cycle.

[Nils Anders Danielsson]

On 2015-08-14 01:37, effectfully wrote:
> There is a line
>
>      Note that many commands are modified by prefixing their key
> combinations with C-u.
>
> in
>
>      http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.EmacsModeKeyCombinations
>
> But there is no description of what prefixing by C-u gives you.

The tables contain more information. However, they were out of date. I
have updated them now.

-- 
/NAD