Thanks to visit codestin.com
Credit goes to github.com

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: siegebell/vscoq
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: quarkcool/vscoq
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 17 commits
  • 30 files changed
  • 1 contributor

Commits on Apr 14, 2019

  1. formatting changes

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    c6dcbac View commit details
    Browse the repository at this point in the history

  2. fixed npm compile commands

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    986f47c View commit details
    Browse the repository at this point in the history

  3. fixed TypeScript compile errors

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    ef749f6 View commit details
    Browse the repository at this point in the history

  4. added package-lock files

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    aaf6e10 View commit details
    Browse the repository at this point in the history

  5. updated tasks.json to 2.0.0 format

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    07e441d View commit details
    Browse the repository at this point in the history

  6. fixed debugging + formatting changes in launch.json

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    fc01b4c View commit details
    Browse the repository at this point in the history

  7. formatting

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    58f1b3b View commit details
    Browse the repository at this point in the history

  8. - upgraded to minimal VSCode engine with webview 

    - used recommended category
    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    13dd157 View commit details
    Browse the repository at this point in the history

  9. fixed TypeScript compilation issues with new 

    VSCode schema
    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    4d1ad00 View commit details
    Browse the repository at this point in the history

  10. updated tasks

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    6c25b02 View commit details
    Browse the repository at this point in the history

  11. formatting and recommended category

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    5600851 View commit details
    Browse the repository at this point in the history

  12. added target for fetching jquery (assumes 

    wget and unzip are available)
    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    f2f0ce8 View commit details
    Browse the repository at this point in the history

  13. - started using a webview 

    - used coqidetop for coq versions >= 8.9
    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    5c758c3 View commit details
    Browse the repository at this point in the history

  14. removed some unused imports/definitions

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    4809035 View commit details
    Browse the repository at this point in the history

  15. set default target for Makefile

    @quarkcool
    quarkcool committed Apr 14, 2019
    Configuration menu
    Copy the full SHA
    4a37825 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2019

  1. fixed display in webview

    @quarkcool
    quarkcool committed May 3, 2019
    Configuration menu
    Copy the full SHA
    87ff6f7 View commit details
    Browse the repository at this point in the history

  2. bump package version

    @quarkcool
    quarkcool committed May 3, 2019
    Configuration menu
    Copy the full SHA
    aeeb07d View commit details
    Browse the repository at this point in the history
Loading