highmark-occam 1.0.2 → 1.0.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +8 -6
- package/package.json +2 -2
package/README.md
CHANGED
|
@@ -1,20 +1,21 @@
|
|
|
1
|
-
# Highmark
|
|
1
|
+
# Highmark Occam
|
|
2
2
|
|
|
3
3
|
Highmark support for Occam.
|
|
4
4
|
|
|
5
5
|
This package augments the HTML created with Highmark with listings for the following languages:
|
|
6
6
|
|
|
7
7
|
* BNF
|
|
8
|
-
* Furtle
|
|
9
8
|
* JSON
|
|
10
|
-
*
|
|
11
|
-
* Markdown Style
|
|
9
|
+
* Furtle
|
|
12
10
|
* Nominal
|
|
13
11
|
* Plain Text
|
|
12
|
+
* Markdown
|
|
13
|
+
* Markdown Style
|
|
14
14
|
|
|
15
15
|
Additinoally, a pakbage name can be stipulated for Nominal listings and, provided the corresponding custom grammars have been registered, the Nominal listing will be parsed accordingly. For example:
|
|
16
16
|
|
|
17
|
-
```
|
|
17
|
+
```
|
|
18
|
+
\`\`\`nominal:first-order-logic
|
|
18
19
|
Lemma
|
|
19
20
|
Suppose
|
|
20
21
|
[F] |- R :: S
|
|
@@ -24,6 +25,7 @@ Lemma
|
|
|
24
25
|
[G] is 𝘧𝘳𝘦𝘦 in [G] |- R :: S by FreeMetavariable
|
|
25
26
|
Therefore
|
|
26
27
|
∃[G] [G] |- R :: S by MetaExistentialIntroduction
|
|
28
|
+
\`\`\`
|
|
27
29
|
```
|
|
28
30
|
|
|
29
31
|
The results are listings that are effectively indistinguishable from the pretty printed source in Occam's IDE.
|
|
@@ -44,8 +46,8 @@ There are several packages in the distribution.
|
|
|
44
46
|
|
|
45
47
|
- [Highmark-CLI](https://github.com/djalbat/highmark-cli) Highmark's CLI tool.
|
|
46
48
|
- [Highmark Yapp](https://github.com/djalbat/highmark-yapp) Highmark with Yapp listings.
|
|
47
|
-
- [Highmark Occam](https://github.com/djalbat/highmark-occam) Highmark support for Occam.
|
|
48
49
|
- [Highmark Client](https://github.com/djalbat/highmark-client) Highmark's bundled client for viewing HTML.
|
|
50
|
+
- [Highmark Occam](https://github.com/djalbat/highmark-occam) Highmark support for Occam.
|
|
49
51
|
- [Highmark Markdown](https://github.com/djalbat/highmark-markdown) Highmark's Markdown and Markdown Style languages.
|
|
50
52
|
|
|
51
53
|
Only the CLI tool is needed by end users.
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "highmark-occam",
|
|
3
3
|
"author": "James Smith",
|
|
4
|
-
"version": "1.0.
|
|
4
|
+
"version": "1.0.4",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/highmark-occam",
|
|
7
7
|
"description": "Highmark support for Occam.",
|
|
@@ -12,7 +12,7 @@
|
|
|
12
12
|
"dependencies": {
|
|
13
13
|
"easy": "^24.1.8",
|
|
14
14
|
"easy-with-style": "^3.0.549",
|
|
15
|
-
"highmark-markdown": "^1.2.
|
|
15
|
+
"highmark-markdown": "^1.2.95",
|
|
16
16
|
"occam-custom-grammars": "^6.0.36",
|
|
17
17
|
"occam-grammars": "^1.3.529",
|
|
18
18
|
"occam-lexers": "^23.1.48",
|