coq-club AT inria.fr
Subject: The Coq mailing list
List archive
Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone
Chronological Thread
- From: Andrej Bauer <andrej.bauer AT andrej.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone
- Date: Fri, 13 Apr 2018 14:17:18 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrej.bauer AT andrej.com; spf=None smtp.mailfrom=andrej.bauer AT andrej.com; spf=None smtp.helo=postmaster AT mail-it0-f54.google.com
- Ironport-phdr: 9a23:fhpo4xB41sx8nRVnWyNGUyQJP3N1i/DPJgcQr6AfoPdwSPT4r8bcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iScHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsdRWC5PAo28YYUBDPcPM/hEoITmu1sCsQGzCRWwCO/zyDJFgGL9060g0+QmFAHLxBAtH9QTv3TOstr1NroZXP2vw6nV0zrDde5d1DDn54jObx8hu++DXbBqfcXK00YvCh3Kjk+LpIP/OTOay/4NvHaZ7+Z6Se2vjGsnphh3rzOyxckskpHEipwJxl3A7yl0w4Y4KcemREJmbtOoCptdui6CO4doXs8uX3xktSMnxrAJu5O3YC0HyJopxx7Rd/CKdouF7xz/WOuUPDh3mG5qdK66ihu28UWs1vHwW8yq3FtFtCVIltzBu34P2hPJ5MWKTOZ28F271jaVzQ/T7/lJIUAqmqrfLJ4s2rswmYASsUTHByP2mVn2gLOPekUq+uWl5P7rYrrhpp+bOI90jh/xPr4ylcy4BOQ0KgkOX26F9uSgzLDv41H1TbFQgvA1kqTVqo7WKdkUq6KjAwJY3Z4v6xOlADen1NQYk2MHLFVAeB+flYfpPUzBIOrmAve9mVijiy1kx+3YMb37GZjCNH7Dn6r7fblj6U5Q0hY8zdda555MELEOPOrzWlPttNzfFhI2Lwu0w//+BNph0oMeRHmAD7SCMKLStF+I/vggL/ONZI8Tojb9KuIq6+TgjX8jyhchevyC2oJfQ3SlFLwyKEKAJHHon90pEGEQvwN4Qva823OYVjsGTnC+Ra8+rhsyFY+8RdPKQIy3jb7H1i6mE4d+b2ZKEF2OV3zvctPXCL83dCuOL5o5wXQ/Xr+7RtpkjEn27V6o+/9cNuPRvxYgm9fm3dlx6ffUkEhopzVyA96Q0SeGSGQmxjpUFQ9z57h2pAlG8nnGybJx2qYKHNpf/f5LFAw9MMyElrEoO5XJQgvEO+yxZhOmT9GhW2xjS9swx5oPfx44FYj+yB/E2CWuDvkekLnZXJE=
> The best solution I could come up with was to use C-c r f and C-c r j
> to quickly reconstruct the window layouts.
Sorry: C-x r f (frameset-to-register) and C-x r j ((jump-to-register).
- [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Stefan Monnier, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Stefan Monnier, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Pierre Courtieu, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Merlin Göttlinger, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Stefan Monnier, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Pierre Courtieu, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Stefan Monnier, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Gaëtan Gilbert, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
- Re: [Coq-Club] How to tell proof general to leave the *response* and *goal* frames alone, Andrej Bauer, 04/13/2018
Archive powered by MHonArc 2.6.18.