Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 2, 2020

• Adding Tests for indentation related to plugins.

  Matafou

  committedMar 2, 2020
  f737203

• Fix ProofGeneral#462.

  Matafou

  committedMar 2, 2020
  21debc1

Commits on Feb 6, 2020

• Merge pull request ProofGeneral#455 from ProofGeneral/cpitclaudel_extend_faces

  cpitclaudel

  authoredFeb 6, 2020
  2a17093

Commits on Jan 31, 2020

• faces: Extend highlights to EOL to adjust for latest Emacs changes

  cpitclaudel

  committedJan 31, 2020
  39bf1b6

Commits on Jan 20, 2020

• Merge pull request ProofGeneral#452 from Matafou/fix_monadic

  Matafou

  authoredJan 20, 2020
  89829c2

Commits on Jan 19, 2020

• Generic monadic indentation + specifically ext-lib / Compcert + doc.

  Matafou

  committedJan 19, 2020
  054bed9

Commits on Jan 13, 2020

• Fixing /\ and \/ priority for indentation purpose.

  Matafou

  committedJan 13, 2020
  bee3f80

Commits on Dec 9, 2019

• Merge pull request ProofGeneral#447 from ProofGeneral/fix-gh-446

  erikmd

  authoredDec 9, 2019
  cf904b9

Commits on Dec 8, 2019

• fix: Recognize "Timeout" before save keywords

  erikmd

  committedDec 8, 2019
  986fefd

Commits on Dec 5, 2019

• Merge pull request ProofGeneral#445 from vzaliva/patch-1

  erikmd

  authoredDec 5, 2019
  b893f68

• Uncommented coq-find-comment-start, coq-find-comment-end as quick fix for ProofGeneral#444

  vzaliva

  authoredDec 5, 2019
  a920a00

Commits on Oct 7, 2019

• Merge pull request ProofGeneral#443 from pi8027/topfile-unnamed

  erikmd

  authoredOct 7, 2019
  15ccaec

Commits on Oct 6, 2019

• Make -topfile facility work for unnamed files

  pi8027

  committedOct 6, 2019
  adb2ae3

Commits on Aug 21, 2019

• Merge pull request ProofGeneral#438 from hendriktews/fix-vio2vo-8-10

  erikmd

  authoredAug 21, 2019
  d53ded5

• coq-par-compile: fix 8.10 -schedule-vio2vo incompatibility

  hendriktews

  committedAug 21, 2019
  4f46b3f

Commits on Jul 27, 2019

• Merge pull request ProofGeneral#434 from gares/patch-1

  cpitclaudel

  authoredJul 27, 2019
  aa36785

Commits on Jul 26, 2019

• fix: Add missing "Set Diffs ..." command in some backtracking case

  erikmd

  committedJul 26, 2019
  a487fd2

• fix: corner case where "Show." was not triggered.

  erikmd

  committedJul 26, 2019
  057fb82

• Backtrack -> BackTo

  

  gares

  authored and

  erikmd

  committedJul 26, 2019
  c2e78d0

Commits on Jul 25, 2019

• Merge pull request ProofGeneral#432 from a0919610611/fix-coqtags

  Matafou

  authoredJul 25, 2019
  6361916

• fix coqtags that can't find some theorem and output empty definition name

  fuyu0425

  committedJul 25, 2019
  fa412e1

Commits on Jun 18, 2019

• Remove pghelp spans when retracting.

  Matafou

  committedJun 18, 2019
  2ada467

Commits on Jun 17, 2019

• fixing with inductive indentation.

  Matafou

  committedJun 17, 2019
  cdc630c

Commits on Jun 6, 2019

• Merge pull request ProofGeneral#426 from jfehrle/tweak

  Matafou

  authoredJun 6, 2019
  89a6166

Commits on Jun 3, 2019

• Process tags in the buffer rather than in strings

  jfehrle

  committedJun 3, 2019
  7f1821c

Commits on Jun 1, 2019

• Add hook for coq diff-highlighting routine

  jfehrle

  committedJun 1, 2019
  0afe38a

Commits on May 31, 2019

• Merge pull request ProofGeneral#425 from tchajed/fix-stray-h

  cpitclaudel

  authoredMay 31, 2019
  9ebfbb6

• Remove stray h

  tchajed

  committedMay 31, 2019
  0486aa9

• * coq/coq-diffs.el (coq-insert-tagged-text): Rework to avoid aset

  monnier

  committedMay 31, 2019
  104db18

Commits on May 23, 2019

• Merge pull request ProofGeneral#421 from jfehrle/for_master2

  Matafou

  authoredMay 23, 2019
  0058999

Commits on May 22, 2019

• Merge pull request ProofGeneral#423 from Matafou/fix-422

  Matafou

  authoredMay 22, 2019
  5bdff05

• FIX ProofGeneral#422.

  Matafou

  committedMay 22, 2019
  bb2e058

Commits on May 17, 2019

• Do a "Set Diffs" whenever backtracking. This also re-prints the

  jfehrle

  committedMay 17, 2019
  7501326

• proof-syntax.el: Fix an out-of-range bug in function `proof-format'

  

  erikmd

  authored and

  jfehrle

  committedMay 17, 2019
  d8b501a

• proof-assistant-format: Support format character "%l" a.k.a. lambda

  

  erikmd

  authored and

  jfehrle

  committedMay 17, 2019
  e5cc6cf

Pagination

PreviousNext