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: NixOS/nixpkgs
base: 48fefb7c491d
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 29d912eb825c
Choose a head ref
  • 3 commits
  • 2 files changed
  • 2 contributors

Commits on Jul 29, 2019

  1. vimPlugins.lean-vim: init at 2017-05-03

    @matthias-t
    matthias-t committed Jul 29, 2019
    Copy the full SHA
    33b2529 View commit details
    Browse the repository at this point in the history

  2. vimPlugins.vim-lean: init at 2017-07-29

    @matthias-t
    matthias-t committed Jul 29, 2019
    Copy the full SHA
    da5c9d5 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2019

  1. Merge pull request #65558 from matthias-t/lean 

    Vim plugins for the lean theorem prover
    @teto
    teto committed Jul 30, 2019
    Copy the full SHA
    29d912e View commit details
    Browse the repository at this point in the history