Skip to content

History

Revisions

  • Updated Translation (markdown)

    @nickbattle nickbattle committed Sep 27, 2024
    ea549af

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Sep 25, 2024
    165d3d4

  • Updated External File Formats (markdown)

    @nickbattle nickbattle committed Sep 25, 2024
    425a5ed

  • Merge branch 'master' of https://github.com/overturetool/vdm-vscode.wiki

    @nickbattle nickbattle committed Sep 25, 2024
    4e73937

  • Added read only file images

    @nickbattle nickbattle committed Sep 25, 2024
    576353f

  • Updated External File Formats (markdown)

    @nickbattle nickbattle committed Sep 25, 2024
    d4ab975

  • Updated External File Formats (markdown)

    @nickbattle nickbattle committed Sep 25, 2024
    5ccb729

  • Updated Settings (markdown)

    @nickbattle nickbattle committed Sep 23, 2024
    bcb0fad

  • Updated Settings (markdown)

    @nickbattle nickbattle committed Sep 23, 2024
    dd6f49b

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Sep 23, 2024
    a490977

  • Updated POG graphics

    @nickbattle nickbattle committed Sep 23, 2024
    1467484

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Sep 23, 2024
    a6155ac

  • Updated Including Libraries (markdown)

    @nickbattle nickbattle committed Sep 23, 2024
    4df9113

  • Updated Interpretation and Debugging (markdown)

    @nickbattle nickbattle committed Dec 11, 2023
    06b923c

  • Updated Usage GIFs (markdown)

    @idhugoid idhugoid committed Apr 28, 2023
    3293ce1

  • Updated Translation (markdown)

    @idhugoid idhugoid committed Apr 28, 2023
    13f531a

  • Updated _Sidebar (markdown)

    @nickbattle nickbattle committed Jan 22, 2023
    965c2d8

  • Updated Including and Excluding Project Files (markdown)

    @nickbattle nickbattle committed Jan 10, 2023
    8f5e2f4

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Jan 8, 2023
    e925cf6

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Jan 8, 2023
    a2827ce

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Jan 8, 2023
    924805d

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Jan 8, 2023
    ee6a478

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Jan 8, 2023
    12260d2

  • Corrected category list

    @nickbattle nickbattle committed Jan 8, 2023
    7dbb8c3

  • Updated Proof Obligation Generation (markdown)

    @nickbattle nickbattle committed Jan 8, 2023
    fdfd415

  • Updated Including and Excluding Project Files (markdown)

    @nickbattle nickbattle committed Jan 7, 2023
    5fcdc20

  • Updated Combinatorial Testing (markdown)

    @nickbattle nickbattle committed Dec 2, 2022
    99d9c81

  • Updated Coverage (markdown)

    @nickbattle nickbattle committed Dec 2, 2022
    74cf98c

  • Updated Including and Excluding Project Files (markdown)

    @nickbattle nickbattle committed Nov 29, 2022
    ef95c93

  • Updated External File Formats (markdown)

    @nickbattle nickbattle committed Nov 29, 2022
    1df25f0