From f429b3934e89e64b44a0e89559cb185eb9a9c8e6 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Wed, 4 Sep 2024 19:50:13 +0200
Subject: [PATCH] Add usage info to readme

---
 README.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/README.md b/README.md
index 8c60faa..00c6b8c 100644
--- a/README.md
+++ b/README.md
@@ -11,3 +11,15 @@ Format and reformat ascii proof trees like this one:
 §  ---------------------------------------------------------------------- RewriteAt
 §                         [x:=*;][?x>0;x:=x+1;]x>1
 ```
+
+To reformat all proof trees in your project, run:
+
+```shell
+java -jar asciiprooftree.jar path/to/your/src
+```
+
+If you want to use a different marker string than `§`, you can use the `--marker` option:
+
+```shell
+java -jar asciiprooftree.jar path/to/your/src --marker 't>'
+```