Skip to content

History

New page

Revisions

  • Add remaining startup issues from keymaerax.org + update Java minimum version

    @EnguerrandPrebet EnguerrandPrebet committed Jun 27, 2024
    481ccc4

  • Destroyed Adding Test Suites (markdown)

    @EnguerrandPrebet EnguerrandPrebet committed Oct 17, 2023
    ee1e396

  • Explain how to fix the InteliJ scalac: Error: java.lang.RuntimeException: /packages cannot be represented as URI

    @aplatzer aplatzer committed Jan 10, 2023
    8b89ca4

  • Updated Building Instructions (markdown)

    @Garmelon Garmelon committed Dec 8, 2022
    06cb10c

  • Updated Building Instructions (markdown)

    @smitsch smitsch committed Oct 3, 2022
    f65c0d0

  • Updated Development Environment Setup (markdown)

    @smitsch smitsch committed Jul 14, 2022
    83e3e8d

  • Updated Development Environment Setup (markdown)

    @smitsch smitsch committed Jun 23, 2022
    36e9f05

  • Updated KeYmaera X Syntax and Informal Semantics (markdown)

    @smitsch smitsch committed Mar 17, 2022
    12f3a3a

  • ModelPlex for non-solvable ODEs

    @smitsch smitsch committed Mar 10, 2022
    f506666

  • Updated KeYmaera X Code Snippets (markdown)

    @smitsch smitsch committed Mar 10, 2022
    67868c6

  • Updated KeYmaera X Code Snippets (markdown)

    @aplatzer aplatzer committed Feb 22, 2022
    d0d79d7

  • Partial ModelPlex API example

    @smitsch smitsch committed Feb 22, 2022
    8117676

  • Created KeYmaera X Code Snippets (markdown)

    @smitsch smitsch committed Feb 6, 2022
    08ca1c7

  • Updated Building Instructions (markdown)

    @aditink aditink committed Oct 9, 2021
    31935e9

  • Simplified Java version suggestions

    @smitsch smitsch committed Jul 27, 2021
    c1e8e4a

  • Update Mathematica build instructions

    @smitsch smitsch committed Jul 27, 2021
    1f5387d

  • Updated Running KeYmaera X (markdown)

    @smitsch smitsch committed Jul 14, 2021
    242ca68

  • fixes description of Stefan's work-around.

    @nrfulton nrfulton committed Jul 14, 2021
    e31bc0a

  • Updated Building Instructions (markdown)

    @nrfulton nrfulton committed Jul 14, 2021
    7c233e0

  • Updated Building Instructions (markdown)

    @smitsch smitsch committed Mar 4, 2021
    2efc0e8

  • Updated Building Instructions (markdown)

    @smitsch smitsch committed Mar 1, 2021
    74525d7

  • Updated Running KeYmaera X (markdown)

    @smitsch smitsch committed Feb 26, 2021
    463c45d

  • Updated Running KeYmaera X (markdown)

    @smitsch smitsch committed Feb 26, 2021
    86fb42a

  • Updated Running KeYmaera X (markdown)

    @smitsch smitsch committed Feb 26, 2021
    0a536ba

  • Updated Running KeYmaera X (markdown)

    @smitsch smitsch committed Feb 26, 2021
    ad323bc

  • Updated Running KeYmaera X (markdown)

    @smitsch smitsch committed Feb 26, 2021
    2aabecd

  • Created Running KeYmaera X (markdown)

    @smitsch smitsch committed Feb 26, 2021
    b8ff576

  • Updated Building Instructions (markdown)

    @smitsch smitsch committed Feb 26, 2021
    26459ad

  • Updated Building Instructions (markdown)

    @smitsch smitsch committed Feb 26, 2021
    82f9812

  • Updated Building Instructions (markdown)

    @smitsch smitsch committed Feb 23, 2021
    2a97f37