Skip to content

Activity

Merge pull request #1034 from coq/safe-log

Pull request merge
rtetleypushed 3 commits to main • 8b4d6ff…d562906 • 
yesterday

Merge pull request #1033 from coq/batch-messages

Pull request merge
rtetleypushed 3 commits to main • 25b2724…8b4d6ff • 
yesterday

Merge pull request #1028 from Durbatuluk1701/activation_changes

Pull request merge
rtetleypushed 3 commits to main • fd598e6…25b2724 • 
yesterday

fix: update flake pin

rtetleypushed 1 commit to batch-messages • f6a4cb1…22fae6a • 
5 days ago

do not drop backtrace

Force push
garesforce pushed to safe-log • 028e0f3…5d42cab • 
5 days ago

do not drop backtrace

garespushed 1 commit to safe-log • 759c6df…028e0f3 • 
5 days ago

log: safe generation of messages

Force push
garesforce pushed to safe-log • 189c42c…759c6df • 
5 days ago

Merge pull request #1014 from coq/continuous-mode-reg

Pull request merge
rtetleypushed 2 commits to main • 95068b8…fd598e6 • 
5 days ago

fix: send a proof view when we reach execution of a sentence in conti…

Force push
rtetleyforce pushed to continuous-mode-reg • 9d69a3c…a023b48 • 
5 days ago

fix: send a proof view when executing a sentence which was clicked on

Force push
rtetleyforce pushed to continuous-mode-reg • 1423501…9d69a3c • 
5 days ago

log: safe generation of messages

garescreated safe-log • 189c42c • 
6 days ago

process feedback in batches (fix #878)

garescreated batch-messages • f6a4cb1 • 
6 days ago

Merge pull request #1032 from coq/bump-version

Pull request merge
rtetleypushed 2 commits to main • e7c2b0c…95068b8 • 
6 days ago

Deleted branch

garesdeleted gares-patch-1 • 
6 days ago

Deleted branch

garesdeleted fix-flake-coq-master • 
6 days ago

release: bump version

rtetleycreated bump-version • bf48ed4 • 
6 days ago

Merge pull request #1030 from coq/gares-patch-1

Pull request merge
rtetleypushed 2 commits to main • 25581cb…e7c2b0c • 
6 days ago

fix dependencies of ppx

Force push
rtetleyforce pushed to gares-patch-1 • abccd00…ff78596 • 
6 days ago

Merge pull request #1029 from coq/fix-flake-coq-master

Pull request merge
rtetleypushed 3 commits to main • cfcb7e4…25581cb • 
6 days ago

fix: nixpkgs commit url

rtetleypushed 1 commit to fix-flake-coq-master • 8dba43a…1d940f0 • 
6 days ago

fix dependencies of ppx

garescreated gares-patch-1 • abccd00 • 
7 days ago

Update flake.nix

garescreated fix-flake-coq-master • 8dba43a • 
8 days ago

Merge pull request #1026 from ppedrot/tok-rm-equal-le-retour

Pull request merge
SkySkimmerpushed 2 commits to main • 85594dd…cfcb7e4 • 
14 days ago

Merge pull request #1023 from ppedrot/tok-rm-equal

Pull request merge
SkySkimmerpushed 3 commits to main • 78839d1…85594dd • 
14 days ago

Merge pull request #1002 from coq/block-on-parse-error

Pull request merge
rtetleypushed 6 commits to main • dfb6989…78839d1 • 
15 days ago

fix test suite

garespushed 1 commit to block-on-parse-error • 93bd0fe…ac09c84 • 
15 days ago

Deleted branch

SkySkimmerdeleted fix-uncaught-error • 
15 days ago

Merge pull request #1021 from coq/fix-uncaught-error

Pull request merge
rtetleypushed 2 commits to main • 0f85c9f…dfb6989 • 
19 days ago

Merge pull request #1020 from coq/parse_vos

Pull request merge
rtetleypushed 2 commits to main • 3072bd9…0f85c9f • 
19 days ago

fix: uncaught error when printing ast

rtetleycreated fix-uncaught-error • cb9e85e • 
19 days ago