From 8ab24d4bb8b4c4a52af3f39027f255b1901669c9 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Wed, 4 Sep 2024 23:36:49 +0200 Subject: [PATCH] Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d890376..9c81dd1 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,7 @@ lake exe graph A typical command is -``` +```bash lake exe graph --to MyModule my_graph.pdf ``` where `MyModule` follows the same module naming you would use to `import` it in lean. See `lake exe graph --help` for more options. @@ -28,7 +28,7 @@ where `MyModule` follows the same module naming you would use to `import` it in To create a Json file, you can use `.xdot_json` as output type: -``` +```bash lake exe graph my_graph.xdot_json ``` @@ -46,7 +46,7 @@ require importGraph from git "https://github.com/leanprover-community/import-gra or, if you have a `lakefile.toml`, it would be -``` +```toml [[require]] name = "importGraph" git = "[https://github.com/leanprover-community/batteries](https://github.com/leanprover-community/import-graph)"