diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/find.nom | 2 | ||||
| -rwxr-xr-x | tools/format.nom | 2 | ||||
| -rwxr-xr-x | tools/parse.nom | 2 | ||||
| -rw-r--r-- | tools/repl.nom | 2 | ||||
| -rwxr-xr-x | tools/test.nom | 2 | ||||
| -rwxr-xr-x | tools/upgrade.nom | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/tools/find.nom b/tools/find.nom index 00b65e5..d07681a 100755 --- a/tools/find.nom +++ b/tools/find.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V6.12.12.8 +#!/usr/bin/env nomsu -V6.13.12.8 # This is a tool to find syntax trees matching a pattern. "*" is a wildcard that will match any subtree, and "**" is a wildcard that will match any diff --git a/tools/format.nom b/tools/format.nom index 7d8cca1..65cc2ca 100755 --- a/tools/format.nom +++ b/tools/format.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V6.12.12.8 +#!/usr/bin/env nomsu -V6.13.12.8 # Auto-format Nomsu code. Usage: nomsu -t format [-i] file1 file2... diff --git a/tools/parse.nom b/tools/parse.nom index 1f87bab..d28c80c 100755 --- a/tools/parse.nom +++ b/tools/parse.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V6.12.12.8 +#!/usr/bin/env nomsu -V6.13.12.8 # Tool to print out a parse tree of files in an easy-to-read format. Usage: nomsu tools/parse.nom file1 file2 directory1 ... diff --git a/tools/repl.nom b/tools/repl.nom index ef262e1..983de5f 100644 --- a/tools/repl.nom +++ b/tools/repl.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V6.12.12.8 +#!/usr/bin/env nomsu -V6.13.12.8 # This file defines a Read-Evaluate-Print-Loop (REPL) for Nomsu diff --git a/tools/test.nom b/tools/test.nom index 1e135db..a2cd992 100755 --- a/tools/test.nom +++ b/tools/test.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V6.12.12.8 +#!/usr/bin/env nomsu -V6.13.12.8 # Tool to run all tests in a file (i.e. the code block inside a call to 'test %'). Usage: nomsu tools/test.nom file1 file2 directory1 ... diff --git a/tools/upgrade.nom b/tools/upgrade.nom index d890dc9..ccb12b5 100755 --- a/tools/upgrade.nom +++ b/tools/upgrade.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V6.12.12.8 +#!/usr/bin/env nomsu -V6.13.12.8 # Tool to automatically update code from old versions of Nomsu. Usage: nomsu tools/upgrade.nom [-i] file1 file2 directory1 ... |