File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ ongoing changes to our processes or metamath proof databases (especially
10
10
those in the https://github.com/metamath/set.mm repository), we do not
11
11
encourage developing significant new functionality in metamath-exe.
12
12
13
- Why? metamath.exe is the oldest of the metamath tools and is showing its
13
+ Why not ? metamath.exe is the oldest of the metamath tools and is showing its
14
14
age in a lot of ways including that C is probably not the language that
15
15
anyone would choose for this kind of code today.
16
16
@@ -56,7 +56,7 @@ We would like to have our code usable by the
56
56
described on that page it supports almost full C11, so this isn't
57
57
a big constraint). We think other compilers people are using probably
58
58
support C11 but if you want to use a feature not found in C99
59
- this might be work asking about in your pull request description.
59
+ this might be worth asking about in your pull request description.
60
60
61
61
Some existing parts of metamath-exe have commented out code as a way of
62
62
showing alternative possibilities or old versions of the code. Now that
You can’t perform that action at this time.
0 commit comments