Skip to content

Commit

Permalink
Update formatting in javaapi.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@mikucionisaau
mikucionisaau committed May 22, 2024
1 parent 412f01f commit 7bd5fa1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions content/toolsAndAPI/javaapi.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,6 @@ title: Java API
weight: 30
---

UPPAAL models can be created, loaded, saved, simulated and checked using libs/model.jar library. There is also javadoc included libs/model-javadoc.jar.
UPPAAL models can be created, loaded, saved, simulated and properties checked using `libs/model.jar` library. There is also javadoc documentation included in `libs/model-javadoc.jar`.

A demonstrating example is included in the demo/ModelDemo.java file.
A demonstrating example is included in the `demo/ModelDemo.java` file of UPPAAL distribution.

0 comments on commit 7bd5fa1

Please sign in to comment.