gfngfn · gfngfn · Nov 3, 2022 · Oct 29, 2022 · Oct 29, 2022 · Oct 29, 2022
diff --git a/demo/demo.satysfi-lock b/demo/demo.satysfi-lock
@@ -0,0 +1,65 @@
+locks:
+  - name: "stdlib.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/stdlib/stdlib.0.0.1/"
+
+  - name: "math.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/math/math.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "std-ja-book.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+      - "math.0.0.1"
+      - "annot.0.0.1"
+      - "code.0.0.1"
+      - "footnote-scheme.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/std-ja-book/std-ja-book.0.0.1/"
+
+  - name: "annot.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/annot/annot.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "code.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/code/code.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "footnote-scheme.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/footnote-scheme/footnote-scheme.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "itemize.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/itemize/itemize.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "proof.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/proof/proof.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "tabular.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/tabular/tabular.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
diff --git a/doc/doc-lang.satysfi-lock b/doc/doc-lang.satysfi-lock
@@ -0,0 +1,36 @@
+locks:
+  - name: "stdlib.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/stdlib/stdlib.0.0.1/"
+
+  - name: "math.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/math/math.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "std-ja.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+      - "math.0.0.1"
+      - "annot.0.0.1"
+      - "code.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/std-ja/std-ja.0.0.1/"
+
+  - name: "annot.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/annot/annot.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "code.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/code/code.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
diff --git a/doc/doc-primitives.satysfi-lock b/doc/doc-primitives.satysfi-lock
@@ -0,0 +1,51 @@
+locks:
+  - name: "stdlib.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/stdlib/stdlib.0.0.1/"
+
+  - name: "math.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/math/math.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "std-ja-book.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+      - "math.0.0.1"
+      - "annot.0.0.1"
+      - "code.0.0.1"
+      - "footnote-scheme.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/std-ja-book/std-ja-book.0.0.1/"
+
+  - name: "annot.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/annot/annot.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "code.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/code/code.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "footnote-scheme.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/footnote-scheme/footnote-scheme.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "itemize.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/itemize/itemize.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
diff --git a/doc/math1.satysfi-lock b/doc/math1.satysfi-lock
@@ -0,0 +1,50 @@
+locks:
+  - name: "stdlib.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/stdlib/stdlib.0.0.1/"
+
+  - name: "math.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/math/math.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "proof.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/proof/proof.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "tabular.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/tabular/tabular.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "std-ja.0.0.1"
+    dependencies:
+      - "stdlib.0.0.1"
+      - "math.0.0.1"
+      - "annot.0.0.1"
+      - "code.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/std-ja/std-ja.0.0.1/"
+
+  - name: "annot.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/annot/annot.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
+
+  - name: "code.0.0.1"
+    location:
+      type: "global"
+      path: "./dist/packages/code/code.0.0.1/"
+    dependencies:
+      - "stdlib.0.0.1"
diff --git a/lib-satysfi/dist/packages/Annot/satysfi.yaml b/lib-satysfi/dist/packages/Annot/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/Code/satysfi.yaml b/lib-satysfi/dist/packages/Code/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/FootnoteScheme/satysfi.yaml b/lib-satysfi/dist/packages/FootnoteScheme/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/Itemize/satysfi.yaml b/lib-satysfi/dist/packages/Itemize/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/MDJa/satysfi.yaml b/lib-satysfi/dist/packages/MDJa/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/Math/satysfi.yaml b/lib-satysfi/dist/packages/Math/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/Proof/satysfi.yaml b/lib-satysfi/dist/packages/Proof/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/StdJa/satysfi.yaml b/lib-satysfi/dist/packages/StdJa/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/StdJaBook/satysfi.yaml b/lib-satysfi/dist/packages/StdJaBook/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/StdJaReport/satysfi.yaml b/lib-satysfi/dist/packages/StdJaReport/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/Stdlib/satysfi.yaml b/lib-satysfi/dist/packages/Stdlib/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/Tabular/satysfi.yaml b/lib-satysfi/dist/packages/Tabular/satysfi.yaml
diff --git a/lib-satysfi/dist/packages/annot/annot.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/annot/annot.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "Annot"
+  source_directories:
+    - "./src"
diff --git a/...tysfi/dist/packages/Annot/src/annot.satyh → ...ackages/annot/annot.0.0.1/src/annot.satyh b/...tysfi/dist/packages/Annot/src/annot.satyh → ...ackages/annot/annot.0.0.1/src/annot.satyh
diff --git a/lib-satysfi/dist/packages/code/code.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/code/code.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "Code"
+  source_directories:
+    - "./src"
diff --git a/...satysfi/dist/packages/Code/src/code.satyh → ...t/packages/code/code.0.0.1/src/code.satyh b/...satysfi/dist/packages/Code/src/code.satyh → ...t/packages/code/code.0.0.1/src/code.satyh
diff --git a/lib-satysfi/dist/packages/footnote-scheme/footnote-scheme.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/footnote-scheme/footnote-scheme.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "FootnoteScheme"
+  source_directories:
+    - "./src"
diff --git a/.../FootnoteScheme/src/footnote-scheme.satyh → ...te-scheme.0.0.1/src/footnote-scheme.satyh b/.../FootnoteScheme/src/footnote-scheme.satyh → ...te-scheme.0.0.1/src/footnote-scheme.satyh
diff --git a/lib-satysfi/dist/packages/itemize/itemize.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/itemize/itemize.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "Itemize"
+  source_directories:
+    - "./src"
diff --git a/...i/dist/packages/Itemize/src/itemize.satyh → ...s/itemize/itemize.0.0.1/src/itemize.satyh b/...i/dist/packages/Itemize/src/itemize.satyh → ...s/itemize/itemize.0.0.1/src/itemize.satyh
diff --git a/lib-satysfi/dist/packages/math/math.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/math/math.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "Math"
+  source_directories:
+    - "./src"
diff --git a/...satysfi/dist/packages/Math/src/math.satyh → ...t/packages/math/math.0.0.1/src/math.satyh b/...satysfi/dist/packages/Math/src/math.satyh → ...t/packages/math/math.0.0.1/src/math.satyh
diff --git a/lib-satysfi/dist/packages/md-ja/md-ja.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/md-ja/md-ja.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "MDJa"
+  source_directories:
+    - "./src"
diff --git a/...satysfi/dist/packages/MDJa/src/mdja.satyh → ...ackages/md-ja/md-ja.0.0.1/src/md-ja.satyh b/...satysfi/dist/packages/MDJa/src/mdja.satyh → ...ackages/md-ja/md-ja.0.0.1/src/md-ja.satyh
diff --git a/lib-satysfi/dist/packages/proof/proof.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/proof/proof.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "Proof"
+  source_directories:
+    - "./src"
diff --git a/...tysfi/dist/packages/Proof/src/proof.satyh → ...ackages/proof/proof.0.0.1/src/proof.satyh b/...tysfi/dist/packages/Proof/src/proof.satyh → ...ackages/proof/proof.0.0.1/src/proof.satyh
diff --git a/lib-satysfi/dist/packages/std-ja-book/std-ja-book.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/std-ja-book/std-ja-book.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "StdJaBook"
+  source_directories:
+    - "./src"
diff --git a/...st/packages/StdJaBook/src/stdjabook.satyh → ...k/std-ja-book.0.0.1/src/std-ja-book.satyh b/...st/packages/StdJaBook/src/stdjabook.satyh → ...k/std-ja-book.0.0.1/src/std-ja-book.satyh
diff --git a/lib-satysfi/dist/packages/std-ja-report/std-ja-report.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/std-ja-report/std-ja-report.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "StdJaReport"
+  source_directories:
+    - "./src"
diff --git a/...ackages/StdJaReport/src/stdjareport.satyh → ...d-ja-report.0.0.1/src/std-ja-report.satyh b/...ackages/StdJaReport/src/stdjareport.satyh → ...d-ja-report.0.0.1/src/std-ja-report.satyh
diff --git a/lib-satysfi/dist/packages/std-ja/std-ja.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/std-ja/std-ja.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "StdJa"
+  source_directories:
+    - "./src"
diff --git a/...tysfi/dist/packages/StdJa/src/stdja.satyh → ...ages/std-ja/std-ja.0.0.1/src/std-ja.satyh b/...tysfi/dist/packages/StdJa/src/stdja.satyh → ...ages/std-ja/std-ja.0.0.1/src/std-ja.satyh
diff --git a/lib-satysfi/dist/packages/stdlib/stdlib.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/stdlib/stdlib.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "Stdlib"
+  source_directories:
+    - "./src"
diff --git a/...ysfi/dist/packages/Stdlib/src/color.satyh → ...kages/stdlib/stdlib.0.0.1/src/color.satyh b/...ysfi/dist/packages/Stdlib/src/color.satyh → ...kages/stdlib/stdlib.0.0.1/src/color.satyh
diff --git a/...tysfi/dist/packages/Stdlib/src/deco.satyh → ...ckages/stdlib/stdlib.0.0.1/src/deco.satyh b/...tysfi/dist/packages/Stdlib/src/deco.satyh → ...ckages/stdlib/stdlib.0.0.1/src/deco.satyh
diff --git a/...tysfi/dist/packages/Stdlib/src/geom.satyh → ...ckages/stdlib/stdlib.0.0.1/src/geom.satyh b/...tysfi/dist/packages/Stdlib/src/geom.satyh → ...ckages/stdlib/stdlib.0.0.1/src/geom.satyh
diff --git a/...satysfi/dist/packages/Stdlib/src/gr.satyh → ...packages/stdlib/stdlib.0.0.1/src/gr.satyh b/...satysfi/dist/packages/Stdlib/src/gr.satyh → ...packages/stdlib/stdlib.0.0.1/src/gr.satyh
diff --git a/...i/dist/packages/Stdlib/src/hdecoset.satyh → ...es/stdlib/stdlib.0.0.1/src/hdecoset.satyh b/...i/dist/packages/Stdlib/src/hdecoset.satyh → ...es/stdlib/stdlib.0.0.1/src/hdecoset.satyh
diff --git a/...tysfi/dist/packages/Stdlib/src/list.satyg → ...ckages/stdlib/stdlib.0.0.1/src/list.satyg b/...tysfi/dist/packages/Stdlib/src/list.satyg → ...ckages/stdlib/stdlib.0.0.1/src/list.satyg
diff --git a/...sfi/dist/packages/Stdlib/src/option.satyg → ...ages/stdlib/stdlib.0.0.1/src/option.satyg b/...sfi/dist/packages/Stdlib/src/option.satyg → ...ages/stdlib/stdlib.0.0.1/src/option.satyg
diff --git a/...dist/packages/Stdlib/src/paper-size.satyh → .../stdlib/stdlib.0.0.1/src/paper-size.satyh b/...dist/packages/Stdlib/src/paper-size.satyh → .../stdlib/stdlib.0.0.1/src/paper-size.satyh
diff --git a/...dist/packages/Stdlib/src/pervasives.satyh → .../stdlib/stdlib.0.0.1/src/pervasives.satyh b/...dist/packages/Stdlib/src/pervasives.satyh → .../stdlib/stdlib.0.0.1/src/pervasives.satyh
diff --git a/...sfi/dist/packages/Stdlib/src/stdlib.satyh → ...ages/stdlib/stdlib.0.0.1/src/stdlib.satyh b/...sfi/dist/packages/Stdlib/src/stdlib.satyh → ...ages/stdlib/stdlib.0.0.1/src/stdlib.satyh
diff --git a/...i/dist/packages/Stdlib/src/vdecoset.satyh → ...es/stdlib/stdlib.0.0.1/src/vdecoset.satyh b/...i/dist/packages/Stdlib/src/vdecoset.satyh → ...es/stdlib/stdlib.0.0.1/src/vdecoset.satyh
diff --git a/lib-satysfi/dist/packages/tabular/tabular.0.0.1/satysfi.yaml b/lib-satysfi/dist/packages/tabular/tabular.0.0.1/satysfi.yaml
@@ -0,0 +1,6 @@
+language: "0.1.0"
+contents:
+  type: "library"
+  main_module: "Tabular"
+  source_directories:
+    - "./src"
diff --git a/...i/dist/packages/Tabular/src/tabular.satyh → ...s/tabular/tabular.0.0.1/src/tabular.satyh b/...i/dist/packages/Tabular/src/tabular.satyh → ...s/tabular/tabular.0.0.1/src/tabular.satyh