Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Optional timeout warning when waiting for the proof shell #516

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Optional timeout warning when waiting for the proof shell #516

wants to merge 12 commits into from

Commits on Oct 12, 2020

  1. Add proof-shell-timeout-warn variables (see ProofGeneral#514)

    @andyqhan
    andyqhan committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    1f2120a View commit details
    Browse the repository at this point in the history

  2. Add shell-internal variable for timer (see ProofGeneral#514)

    @andyqhan
    andyqhan committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    99cd00c View commit details
    Browse the repository at this point in the history

  3. Implement timeout message (see ProofGeneral#514)

    @andyqhan
    andyqhan committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    d8d6104 View commit details
    Browse the repository at this point in the history

  4. fix parentheses

    @andyqhan
    andyqhan committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    ebea62f View commit details
    Browse the repository at this point in the history

  5. fix empty goals bug because of previous commit 

    The previous commits’ proof-shell.el had the timeout cancel in the
wrong place, leading to a bug with an empty buffer.
    @andyqhan
    andyqhan committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    3ab6159 View commit details
    Browse the repository at this point in the history

  6. change timer config to one variable 

    also minor whitespace formatting to match with master
    @andyqhan
    andyqhan committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    9a38852 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2020

  1. Change warning text to clarify C-c C-c vs C-c C-x

    @andyqhan
    andyqhan committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    f8c0c09 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2020

  1. cancel timer in the case of error or interrupt 

    also clarify documentation
    @andyqhan
    andyqhan committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    11d8c59 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2021

  1. implement matafou's suggestions

    Andy Han committed Mar 21, 2021
    Configuration menu
    Copy the full SHA
    ae1b766 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/ProofGeneral/PG

    Andy Han committed Mar 21, 2021
    Configuration menu
    Copy the full SHA
    989ef2e View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2021

  1. more fixes… seems to work lol

    Andy Han committed Mar 28, 2021
    Configuration menu
    Copy the full SHA
    debe754 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2021

  1. arm timer every command, not every region

    Andy Han committed Apr 3, 2021
    Configuration menu
    Copy the full SHA
    1cc7e70 View commit details
    Browse the repository at this point in the history