8000 Comparing rocq-prover:main...Alidra:main · rocq-prover/vsrocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: rocq-prover/vsrocq
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: Alidra/vsrocq
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on May 23, 2025

  1. Fix vsrocqtop usage display

    vbot committed May 23, 2025
    Configuration menu
    Copy the full SHA
    e1d986d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #1114 from vincent-botbol/fix-usages 

    Fix vsrocqtop usage display
    @rtetley
    rtetley authored May 23, 2025
    Configuration menu
    Copy the full SHA
    3a6a417 View commit details
    Browse the repository at this point in the history
Loading
0