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

Support for qrhl-tool theorem prover #636

Merged
merged 24 commits into from
Feb 28, 2022
Merged

Support for qrhl-tool theorem prover #636

merged 24 commits into from
Feb 28, 2022

Commits on Jan 30, 2021

  1. Added qRHL support from qrhl-tool repo

    @dominique-unruh
    dominique-unruh committed Jan 30, 2021
    Configuration menu
    Copy the full SHA
    b49220f View commit details
    Browse the repository at this point in the history

  2. Fix: proof-tree-external-display := nil, otherwise ProofGeneral fails

    @dominique-unruh
    dominique-unruh committed Jan 30, 2021
    Configuration menu
    Copy the full SHA
    80aac72 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2021

  1. qrhl-mode recognizes focus commands (e.g. '1-2: ++')

    @dominique-unruh
    dominique-unruh committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    ee01e75 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2021

  1. qrhl.el: Fixed regexp for errors

    @dominique-unruh
    dominique-unruh committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    30b882b View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2021

  1. qrhl: support for several commands on the same line.

    @dominique-unruh
    dominique-unruh committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    57a9d9e View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2021

  1. Merge remote-tracking branch 'origin/master' into qrhl-tool 

    # Conflicts:
#	generic/proof-site.el
    @dominique-unruh
    dominique-unruh committed Dec 29, 2021
    Configuration menu
    Copy the full SHA
    0e51f5a View commit details
    Browse the repository at this point in the history

  2. Added author to qrhl.el.

    @dominique-unruh
    dominique-unruh committed Dec 29, 2021
    Configuration menu
    Copy the full SHA
    e86aa84 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2022

  1. Updated autogenerated parts of PQ-adapting.texi.

    @dominique-unruh
    dominique-unruh committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    b580e5f View commit details
    Browse the repository at this point in the history

  2. Added (require 'proof) to qrhl.el

    @dominique-unruh
    dominique-unruh committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    553b2dc View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2022

  1. Removed setting proof-tree-external-display in qrhl.el. 

    Not needed if `proof.el` is loaded.
(Undoes 80aac72)
    @dominique-unruh
    dominique-unruh committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    0aaf95e View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2022

  1. Mentioning qrhl-tool in README.md

    @dominique-unruh
    dominique-unruh committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    2d3f422 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2022

  1. Removed some hardcoded configuration in qrhl mode: 

    - indent-tabs-mode: not set anymore
- input method: customizable (qrhl-input-method)
- Debugging function "qr" removed
    @dominique-unruh
    dominique-unruh committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    0eb165d View commit details
    Browse the repository at this point in the history

  2. Using require instead of load-library to load qrhl-input.

    @dominique-unruh
    dominique-unruh committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    847492f View commit details
    Browse the repository at this point in the history

  3. Made path to qrhl-tool customizable.

    @dominique-unruh
    dominique-unruh committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    543aa77 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into qrhl-tool

    @dominique-unruh
    dominique-unruh committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    67006d1 View commit details
    Browse the repository at this point in the history

  5. qrhl: Made variable setting of electric-indent-mode buffer-local

    @dominique-unruh
    dominique-unruh committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    9b3ec8c View commit details
    Browse the repository at this point in the history

  6. qrhl: Font-lock support (keywords and sub/superscripts)

    @dominique-unruh
    dominique-unruh committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    ff22652 View commit details
    Browse the repository at this point in the history

  7. qrhl: Ensure UTF-8 via proof-shell-unicode instead of `set-language… 

    …-environment`.
    @dominique-unruh
    dominique-unruh committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    232c7cc View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2022

  1. Annotated qrhl-input.el with the changes w.r.t. Emacs's latin-ltx.el

    @dominique-unruh
    dominique-unruh committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    aa086d8 View commit details
    Browse the repository at this point in the history

  2. Support for Emacs 25 in qrhl: Creating separate input method file qrh… 

    …l-input-25.el that supports Emacs 25.

..
    @dominique-unruh
    dominique-unruh committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    1787acf View commit details
    Browse the repository at this point in the history

  3. qrhl: Updated copyright headers. Set lexical-binding: t

    @dominique-unruh
    dominique-unruh committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    afb17bb View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2022

  1. qrhl: Removed autoload cookie from customizable options. 

    (As recommended by https://www.gnu.org/software/emacs/manual/html_node/elisp/When-to-Autoload.html. "Don’t autoload a user option just so that a user can set it.")
    @dominique-unruh
    dominique-unruh committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    df40137 View commit details
    Browse the repository at this point in the history

  2. Updated doc-magic (make -C doc magic)

    @dominique-unruh
    dominique-unruh committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    dead1cc View commit details
    Browse the repository at this point in the history

  3. Clarified copyright of qrhl: University of Tartu

    @dominique-unruh
    dominique-unruh committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    360b6c2 View commit details
    Browse the repository at this point in the history