Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 24, 2022

• qrhl: made `font-lock-extra-managed-props` buffer-local.

  dominique-unruh

  committed
  c844c00

  Copy full SHA for c844c00

Commits on Oct 23, 2022

• qrhl: Added more keywords to syntax highlighting:

  Show description for a49cded
  dominique-unruh

  committed
  a49cded

  Copy full SHA for a49cded

• qrhl: Automatic indentation.

  dominique-unruh

  committed
  06e85d8

  Copy full SHA for 06e85d8

• qrhl: Remove comments from within multiline commands before sending them to qrhl-tool.

  dominique-unruh

  committed
  3b5d65d

  Copy full SHA for 3b5d65d

• qrhl: Removed leftover debug output.

  dominique-unruh

  committed
  ab7b274

  Copy full SHA for ab7b274

• qrhl: Improved font-lock mode:

  Show description for 4a020a7
  dominique-unruh

  committed
  4a020a7

  Copy full SHA for 4a020a7

Commits on Mar 10, 2022

• Made qrhl-input.el compile on all supported Emacs versions.

  Show description for 07e6b0d
  dominique-unruh

  committed
  07e6b0d

  Copy full SHA for 07e6b0d

• Miscelleaneous cleanup in qrhl.el (by @monnier)

  dominique-unruh

  committed
  3f5fe71

  Copy full SHA for 3f5fe71

• qrhl: Added both `(require 'proof)` and `(require 'proof-easy-config)'.

  Show description for 5ecce84
  dominique-unruh

  committed
  5ecce84

  Copy full SHA for 5ecce84

Commits on Feb 15, 2022

• Clarified copyright of qrhl: University of Tartu

  dominique-unruh

  committed
  360b6c2

  Copy full SHA for 360b6c2

• qrhl: Removed autoload cookie from customizable options.

  Show description for df40137
  dominique-unruh

  committed
  df40137

  Copy full SHA for df40137

Commits on Feb 14, 2022

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

  dominique-unruh

  committed
  afb17bb

  Copy full SHA for afb17bb

• Support for Emacs 25 in qrhl: Creating separate input method file qrhl-input-25.el that supports Emacs 25.

  Show description for 1787acf
  dominique-unruh

  committed
  1787acf

  Copy full SHA for 1787acf

Commits on Feb 13, 2022

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

  dominique-unruh

  committed
  232c7cc

  Copy full SHA for 232c7cc

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

  dominique-unruh

  committed
  ff22652

  Copy full SHA for ff22652

• qrhl: Made variable setting of `electric-indent-mode` buffer-local

  dominique-unruh

  committed
  9b3ec8c

  Copy full SHA for 9b3ec8c

• Made path to qrhl-tool customizable.

  dominique-unruh

  committed
  543aa77

  Copy full SHA for 543aa77

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

  dominique-unruh

  committed
  847492f

  Copy full SHA for 847492f

• Removed some hardcoded configuration in qrhl mode:

  Show description for 0eb165d
  dominique-unruh

  committed
  0eb165d

  Copy full SHA for 0eb165d

Commits on Jan 4, 2022

• Removed setting proof-tree-external-display in `qrhl.el`.

  Show description for 0aaf95e
  dominique-unruh

  committed
  0aaf95e

  Copy full SHA for 0aaf95e

Commits on Jan 2, 2022

• Added (require 'proof) to qrhl.el

  dominique-unruh

  committed
  553b2dc

  Copy full SHA for 553b2dc

Commits on Dec 29, 2021

• Added author to qrhl.el.

  dominique-unruh

  committed
  e86aa84

  Copy full SHA for e86aa84

Commits on Feb 11, 2021

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

  dominique-unruh

  committed
  57a9d9e

  Copy full SHA for 57a9d9e

Commits on Feb 3, 2021

• qrhl.el: Fixed regexp for errors

  dominique-unruh

  committed
  30b882b

  Copy full SHA for 30b882b

Commits on Feb 2, 2021

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

  dominique-unruh

  committed
  ee01e75

  Copy full SHA for ee01e75

Commits on Jan 30, 2021

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

  dominique-unruh

  committed
  80aac72

  Copy full SHA for 80aac72

• Added qRHL support from qrhl-tool repo

  dominique-unruh

  committed
  b49220f

  Copy full SHA for b49220f

Loading