Skip to content

History

Revisions

  • Updated Settings: Preferences (markdown)

    @JonasAlaif JonasAlaif committed Mar 22, 2023
    3e6efcf

  • Updated Settings: Preferences (markdown)

    @ArquintL ArquintL committed Feb 10, 2023
    c47dab0

  • Updated Settings: Java Settings (markdown)

    @ArquintL ArquintL committed Jan 27, 2023
    179524e

  • adapts `viperToolsPath` defaults

    @ArquintL ArquintL committed Oct 24, 2022
    e4fcc9d

  • Updated Settings: ViperServer (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    97a99e3

  • Updated Settings: Verification Backends (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    f894010

  • Updated Settings: Preferences (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    fc89ae8

  • Updated Settings: Java Settings (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    4c9e2d4

  • Updated Settings: Advanced Features (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    7b8ac1f

  • Updated Customizing Viper IDE (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    bec8f89

  • Updated Home (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    fce1944

  • Updated Home (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    230d346

  • Updated Customizing Viper IDE (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    ae03020

  • Updated Customizing Viper IDE (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    9e4fb31

  • Updated Customizing Viper IDE (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    6bef0fc

  • Updated Settings: Verification Backends (markdown)

    @ArquintL ArquintL committed Feb 17, 2022
    6e2e29f

  • typo

    @ArquintL ArquintL committed Feb 17, 2022
    f4efff2

  • adds description of the Viper Tools folder structure

    @ArquintL ArquintL committed Feb 17, 2022
    fad2067

  • updates installation location of Viper Tools

    @ArquintL ArquintL committed Feb 17, 2022
    3f91644

  • Fixes version number of settings object

    @ArquintL ArquintL committed Jan 27, 2022
    1938b43

  • Updated Settings: Java Settings (markdown)

    @ArquintL ArquintL committed Jul 20, 2021
    bd0b69f

  • Updated Settings: Paths (markdown)

    @ArquintL ArquintL committed Jul 19, 2021
    fca3af8

  • Updated Settings: Java Settings (markdown)

    @ArquintL ArquintL committed Jul 19, 2021
    b547671

  • Updated Settings: Preferences (markdown)

    @ArquintL ArquintL committed Jul 19, 2021
    2c8c1a9

  • Updated Home (markdown)

    @aterga aterga committed Apr 10, 2021
    032e25a

  • Updated Settings: Preferences (markdown)

    @aterga aterga committed Apr 10, 2021
    3fd3c30

  • Adds "Descriptions" page (snapshot from 22 Jun 2020)

    @ArquintL ArquintL committed Mar 28, 2021
    7e55cc4

  • adds "Settings: ViperServer Settings" page (snapshot from 22 Jun 2020)

    @ArquintL ArquintL committed Mar 28, 2021
    f94c8b4

  • adds "Settings: Verification Backends" page (snapshot from 22 Jun 2020)

    @ArquintL ArquintL committed Mar 28, 2021
    1742e3d

  • adds "Settings: Preferences" page (snapshot from 22 Jun 2020)

    @ArquintL ArquintL committed Mar 25, 2021
    cc3c6ab