Search results

Auto-indent incorrectly indents comments and overloads if they follow theorems defined using SPEC <code>...</code>

Bug

Editor modes

Status: Open.

#1480 In HOL-Theorem-Prover/HOL;

· Eric-C-Hall opened on May 3, 2025

add a keybinding that loads the dependencies of files for vim

Editor modes

Feature Request

Status: Open.

#1470 In HOL-Theorem-Prover/HOL;

· ordinarymath opened on Apr 25, 2025

emacs mode should choose HOL executable based on lastmaker file (if any)

Editor modes

Status: Open.

#1101 In HOL-Theorem-Prover/HOL;

· mn200 opened on Apr 6, 2023

Store location information about where theorems were proved in Theory.sig files

Editor modes

Feature Request

Status: Open.

#1094 In HOL-Theorem-Prover/HOL;

· mn200 opened on Feb 14, 2023

emacs-mode: have intermediate stage between all black&amp;white, and full colouring with lots of type info

Editor modes

Feature Request

Status: Open.

#1063 In HOL-Theorem-Prover/HOL;

· mn200 opened on Oct 25, 2022