Commits

Branch selector

 master

User selector

Matafou

Datepicker

All time

Commit History

Commits on Sep 5, 2024

• Merge pull request #741 from hoheinzollern/patch-1

  Matafou

  authoredSep 5, 2024
  3a99da2

• Merge pull request #776 from jgarte/jgarte-patch-1

  Matafou

  authoredSep 5, 2024
  734bcdb

• Merge pull request #783 from ruipedro16/add-ecall-keyword

  Matafou

  authoredSep 5, 2024
  1b89aa3

• Merge pull request #784 from Columbus240/CoqProject

  Matafou

  authoredSep 5, 2024
  11dcebe

• Merge pull request #782 from Matafou/fix-no-strip-newlines

  Matafou

  authoredSep 5, 2024
  067bffa

• Stripping hardwired command strings from trailing spaces.

  Matafou

  committedSep 5, 2024
  037baea

• Fix #781 PG does not position to error.

  Matafou

  committedSep 5, 2024
  16b70c9

Commits on Jul 8, 2024

• Merge pull request #780 from Matafou/fix-779-regression-cannot-step-Fail-correctly

  Matafou

  authoredJul 8, 2024
  eca47ea

• Fix #779 regression-cannot-step-Fail-correctly.

  Matafou

  committedJul 8, 2024
  7c8418f

Commits on Jun 15, 2024

• Merge pull request #768 from Matafou/splash-time

  Matafou

  authoredJun 15, 2024
  b9fdbbf

Commits on May 5, 2024

• Reduce splash time to 1s.

  Matafou

  committedMay 5, 2024
  ea0f007

Commits on Jan 19, 2024

• Merge pull request #717 from ayanamists/master

  Matafou

  authoredJan 19, 2024
  35d5efa

Commits on Nov 30, 2022

• Merge pull request #669 from haselwarter/dont-save-temp-buffers

  Matafou

  authoredNov 30, 2022
  bbbb1e2

Commits on Nov 28, 2022

• Merge pull request #675 from dominique-unruh/qrhl-tool-rebased

  Matafou

  authoredNov 28, 2022
  8e688a6

Commits on Jul 7, 2022

• Merge pull request #663 from Matafou/qrhl-announce

  Matafou

  authoredJul 7, 2022
  0ee2b75

Commits on Jul 6, 2022

• Adding QRHL-tool in the CHANGES file.

  Matafou

  committedJul 6, 2022
  95a6e31

Commits on May 25, 2022

• Merge pull request #590 from Columbus240/master

  Matafou

  authoredMay 25, 2022
  ac9ba11

Commits on Apr 6, 2022

• test: Replace omega with lia in CI & Test more Coq versions (#650)

  Matafou

  authoredApr 6, 2022
  a894bcc

Commits on Mar 29, 2022

• Merge pull request #639 from Chobbes/save-frames

  Matafou

  authoredMar 29, 2022
  e1e29ac

• Merge pull request #647 from Matafou/fix-#646-indent-funargs

  Matafou

  authoredMar 29, 2022
  0b34544

• Merge pull request #648 from Matafou/fix-#599-Proof-using-bad-detection

  Matafou

  authoredMar 29, 2022
  1554eb7

• Merge pull request #649 from Matafou/fix-#618-missing-keyword-derive

  Matafou

  authoredMar 29, 2022
  17a4cc0

Commits on Mar 28, 2022

• Support for command "Derive SuchThat As".

  Matafou

  committedMar 28, 2022
  ce03332

• Fix #599, bad detection of "Proof" in "Proof using" suggestions.

  Matafou

  committedMar 28, 2022
  24da4f5

• Fix #646. Indentation of function arguments.

  Matafou

  committedMar 28, 2022
  39911fe

• Merge pull request #617 from Matafou/fix-indent-user-prefs

  Matafou

  authoredMar 28, 2022
  40c40d2

Commits on Feb 28, 2022

• Merge pull request #636 from dominique-unruh/qrhl-tool

  Matafou

  authoredFeb 28, 2022
  fe8b9fc

Commits on Nov 25, 2021

• Merge pull request #629 from Matafou/fix-#625-indentation-is-slow

  Matafou

  authoredNov 25, 2021
  20412f1

Commits on Nov 24, 2021

• Fix #625 Indentation very slow.

  Matafou

  committedNov 24, 2021
  dc70d03

Commits on Nov 9, 2021

• Merge pull request #615 from Matafou/fix-#614

  Matafou

  authoredNov 9, 2021
  2145c23

Commits on Oct 28, 2021

• Plugging back coq-indent-proofstart and coq-indent-modulestart.

  Matafou

  committedOct 28, 2021
  921c23d

Commits on Oct 22, 2021

• Fix #614. Cause by 8215623.

  Matafou

  committedOct 22, 2021
  db3289d

Commits on Oct 13, 2021

• Merge pull request #609 from Matafou/fix-#608-width

  Matafou

  authoredOct 13, 2021
  fd04605

• Merge pull request #607 from Matafou/fix-#597-Fail-backtrace

  Matafou

  authoredOct 13, 2021
  8215623

Commits on Oct 12, 2021

• Adding tests for #597.

  Matafou

  committedOct 12, 2021
  3b765b4

Pagination

PreviousNext