Commits

Commits on May 16, 2024

Merge pull request #87 from coq/fix-file
SkySkimmer
committedMay 16, 2024
Fix file name
SkySkimmer
committedMay 16, 2024

Commits on May 30, 2023

Merge pull request #68 from Zimmi48/coqide-split
Zimmi48
committedMay 30, 2023

Commits on May 26, 2023

Mention evaluation of IDE features to support before removal.
Zimmi48
committedMay 26, 2023

Commits on Apr 27, 2023

Propose to volunteer CoqIDE contributors to also share their plans.
Zimmi48
committedApr 27, 2023
Frama-C and Why3 are not planning to drop lablgtk at this time.
Zimmi48
committedApr 27, 2023

Commits on Apr 25, 2023

Suggest to volunteer maintainers to present their plans for CoqIDE.
Zimmi48
committedApr 25, 2023

Commits on Apr 24, 2023

CEP on the future of CoqIDE.
Zimmi48
committedApr 24, 2023

Commits on Jan 18, 2023

Merge pull request #67 from ppedrot/sort-variable-unification
ppedrot
committedJan 18, 2023

Commits on Jan 5, 2023

Apply suggestions from code review

ppedrot
and
JasonGross
committedJan 5, 2023

Commits on Jan 4, 2023

[CEP] Sort variables in unification.
ppedrot
committedJan 4, 2023

Commits on Jan 12, 2022

Merge pull request #61 from ju-sh/patch-1
gares
committedJan 12, 2022
Fix typo
ju-sh
committedJan 12, 2022

Commits on Nov 2, 2021

Merge pull request #40 from gares/no-proofs-in-kernel
gares
committedNov 2, 2021
rename according to PR number
gares
committedNov 2, 2021

Commits on May 22, 2021

Merge pull request #56 from jfehrle/debugger_gui
Zimmi48
committedMay 22, 2021

Commits on Apr 20, 2021

Visual debugging in secondary script files
jfehrle
committedApr 20, 2021

Commits on Apr 19, 2021

Merge pull request #53 from jfehrle/debugger
Zimmi48
committedApr 19, 2021

Commits on Feb 10, 2021

Merge pull request #52 from gares/platform-release-cycle
Zimmi48
committedFeb 10, 2021
Update text/052-platform-release-cycle.md
gares
committedFeb 10, 2021

Commits on Feb 9, 2021

Apply suggestions from code review

gares
and
Zimmi48
committedFeb 9, 2021

Commits on Feb 8, 2021

discussion about platform's versioning
gares
committedFeb 8, 2021

Commits on Jan 27, 2021

Apply suggestions from code review

gares
and
erikmd
committedJan 27, 2021

Commits on Jan 26, 2021

reword task opam package
gares
committedJan 26, 2021
clarify CI
gares
committedJan 26, 2021
changelog
gares
committedJan 26, 2021
rc1
gares
committedJan 26, 2021
Update text/052-platform-release-cycle.md

gares
and
Zimmi48
committedJan 26, 2021
Update text/052-platform-release-cycle.md

gares
and
Zimmi48
committedJan 26, 2021
fix misleading diagram
gares
committedJan 26, 2021
deliverables
gares
committedJan 26, 2021
corrections
gares
committedJan 26, 2021
fixes
gares
committedJan 26, 2021
typos, clarifications, bold text
gares
committedJan 26, 2021
new release cycle
gares
committedJan 26, 2021