Commits

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Commits

Commits on Oct 14, 2024

Fix typo.

Line wrapping in Rocq long-term roadmap.

Merge pull request #94 from Zimmi48/proposed-alt-second-sentence

Remove words agile and innovation.

Commits on Oct 9, 2024

Propose an alternative for the second paragraph of the roadmap.

Commits on Oct 4, 2024

Merge pull request #92 from Zimmi48/rocq-roadmap

Rocq long-term roadmap.

Commits on May 30, 2023

Merge pull request #68 from Zimmi48/coqide-split

Commits on May 26, 2023

Mention evaluation of IDE features to support before removal.

Commits on Apr 27, 2023

Propose to volunteer CoqIDE contributors to also share their plans.

Frama-C and Why3 are not planning to drop lablgtk at this time.

Commits on Apr 25, 2023

Suggest to volunteer maintainers to present their plans for CoqIDE.

Commits on Apr 24, 2023

CEP on the future of CoqIDE.

Commits on May 22, 2021

Merge pull request #56 from jfehrle/debugger_gui

Commits on Apr 19, 2021

Merge pull request #53 from jfehrle/debugger

Commits on Feb 10, 2021

Merge pull request #52 from gares/platform-release-cycle

Commits on Nov 27, 2020

Merge pull request #48 from erikmd/packaging-coq-native

Commits on Dec 6, 2019

Add .gitignore.

Branch selector

User selector

Datepicker

Commit History

Commits on Oct 14, 2024

Commits on Oct 9, 2024

Commits on Oct 4, 2024

Commits on May 30, 2023

Commits on May 26, 2023

Commits on Apr 27, 2023

Commits on Apr 25, 2023

Commits on Apr 24, 2023

Commits on May 22, 2021

Commits on Apr 19, 2021

Commits on Feb 10, 2021

Commits on Nov 27, 2020

Commits on Dec 6, 2019