Skip to content

Activity

Showing most recent first

Merge pull request #793 from hendriktews/kill-question

Pull request merge
hendriktewspushed 2 commits to master • 3d81aa7…2d4d031 • 
15 hours ago

Merge pull request #817 from hendriktews/new-images

Pull request merge
hendriktewspushed 2 commits to master • a78543c…3d81aa7 • 
yesterday

Merge pull request #820 from hendriktews/fix-magic

Pull request merge
hendriktewspushed 3 commits to master • 1f93bf2…a78543c • 
yesterday

Merge pull request #788 from Matafou/fix-debug-mode

Pull request merge
Matafoupushed 3 commits to master • a967f22…1f93bf2 • 
yesterday

Merge pull request #815 from Matafou/fix-rocq-progname

Pull request merge
Matafoupushed 7 commits to master • 1776d18…a967f22 • 
3 days ago

Merge pull request #810 from hendriktews/test-9

Pull request merge
hendriktewspushed 4 commits to master • 85cde55…1776d18 • 
3 days ago

Merge pull request #679 from rssoc/master

Pull request merge
Matafoupushed 2 commits to master • 2185896…85cde55 • 
6 days ago

Merge pull request #789 from Matafou/fix-indent-backslashid

Pull request merge
Matafoupushed 2 commits to master • f69ea38…2185896 • 
6 days ago

Merge pull request #796 from andreas-roehler/master

Pull request merge
Matafoupushed 2 commits to master • 8e3384e…f69ea38 • 
6 days ago

Merge pull request #812 from ulm/which

Pull request merge
Matafoupushed 2 commits to master • 3a2af43…8e3384e • 
6 days ago

Merge pull request #813 from Matafou/fix-real-start

Pull request merge
Matafoupushed 2 commits to master • 809b01e…3a2af43 • 
6 days ago

Merge pull request #816 from Matafou/fix-first-cmd

Pull request merge
Matafoupushed 3 commits to master • e0ec3db…809b01e • 
6 days ago

Deleted branch

Matafoudeleted fix-real-start • 
on Feb 28

Fix low level code to find the start of a command.

Matafoucreated fix-real-start • 28497cd • 
on Feb 28

Merge pull request #808 from hendriktews/comment-tests

Pull request merge
hendriktewspushed 2 commits to master • 3c3a21e…e0ec3db • 
on Jan 29

Merge pull request #802 from hendriktews/diagnostic

Pull request merge
hendriktewspushed 2 commits to master • 77e8637…3c3a21e • 
on Jan 25

Merge pull request #807 from hendriktews/ci-update

Pull request merge
hendriktewspushed 2 commits to master • d668946…77e8637 • 
on Jan 25

Guarded highlight Guarded command (since Coq 8.16) (#804)

Pull request merge
erikmdpushed 1 commit to master • 8401163…d668946 • 
on Nov 26, 2024

Merge pull request #799 from hendriktews/loc-par

Pull request merge
hendriktewspushed 3 commits to master • b30d65d…8401163 • 
on Nov 21, 2024

Merge pull request #792 from hendriktews/del-cont

Pull request merge
hendriktewspushed 2 commits to master • 1ffca70…b30d65d • 
on Oct 4, 2024

Merge pull request #785 from hendriktews/paren

Pull request merge
hendriktewspushed 2 commits to master • 5e14b97…1ffca70 • 
on Sep 12, 2024

Deleted branch

Matafoudeleted fix-indent-backslashid • 
on Sep 11, 2024

Fix #757 indentation of "\in"

Matafoucreated fix-indent-backslashid • a36eb9b • 
on Sep 11, 2024

Merge pull request #787 from hendriktews/8.20

Pull request merge
hendriktewspushed 2 commits to master • 3a99da2…5e14b97 • 
on Sep 9, 2024

Merge pull request #741 from hoheinzollern/patch-1

Pull request merge
Matafoupushed 2 commits to master • 734bcdb…3a99da2 • 
on Sep 5, 2024

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

Pull request merge
Matafoupushed 2 commits to master • 1b89aa3…734bcdb • 
on Sep 5, 2024

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

Pull request merge
Matafoupushed 2 commits to master • 11dcebe…1b89aa3 • 
on Sep 5, 2024

Merge pull request #784 from Columbus240/CoqProject

Pull request merge
Matafoupushed 3 commits to master • 067bffa…11dcebe • 
on Sep 5, 2024

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

Pull request merge
Matafoupushed 3 commits to master • c3e6c39…067bffa • 
on Sep 5, 2024

Merge pull request #778 from hendriktews/ci-rc

Pull request merge
hendriktewspushed 2 commits to master • eca47ea…c3e6c39 • 
on Sep 2, 2024