diff options
| -rwxr-xr-x | Makefile | 2 | ||||
| -rwxr-xr-x | script.it/layer/canvaPrinter.ml (renamed from layer/canvaPrinter.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/canvaPrinter.mli (renamed from layer/canvaPrinter.mli) | 0 | ||||
| -rwxr-xr-x | script.it/layer/ductusEngine.ml (renamed from layer/ductusEngine.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/ductusEngine.mli (renamed from layer/ductusEngine.mli) | 0 | ||||
| -rwxr-xr-x | script.it/layer/dune (renamed from layer/dune) | 0 | ||||
| -rwxr-xr-x | script.it/layer/fillEngine.ml (renamed from layer/fillEngine.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/fillEngine.mli (renamed from layer/fillEngine.mli) | 0 | ||||
| -rwxr-xr-x | script.it/layer/lineEngine.ml (renamed from layer/lineEngine.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/lineEngine.mli (renamed from layer/lineEngine.mli) | 0 | ||||
| -rwxr-xr-x | script.it/layer/paths.ml (renamed from layer/paths.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/repr.ml (renamed from layer/repr.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/svg.ml (renamed from layer/svg.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/wireFramePrinter.ml (renamed from layer/wireFramePrinter.ml) | 0 | ||||
| -rwxr-xr-x | script.it/layer/wireFramePrinter.mli (renamed from layer/wireFramePrinter.mli) | 0 | ||||
| -rwxr-xr-x | script.it/path/builder.ml (renamed from path/builder.ml) | 0 | ||||
| -rwxr-xr-x | script.it/path/builder.mli (renamed from path/builder.mli) | 0 | ||||
| -rwxr-xr-x | script.it/path/dune (renamed from path/dune) | 0 | ||||
| -rwxr-xr-x | script.it/path/fixed.ml (renamed from path/fixed.ml) | 0 | ||||
| -rwxr-xr-x | script.it/path/fixed.mli (renamed from path/fixed.mli) | 0 | ||||
| -rwxr-xr-x | script.it/path/path.ml (renamed from path/path.ml) | 0 | ||||
| -rwxr-xr-x | script.it/path/point.ml (renamed from path/point.ml) | 0 | ||||
| -rwxr-xr-x | script.it/path/point.mli (renamed from path/point.mli) | 0 | ||||
| -rwxr-xr-x | script.it/path/repr.ml (renamed from path/repr.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/bezier.ml (renamed from shapes/bezier.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/bezier.mli (renamed from shapes/bezier.mli) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/bspline.ml (renamed from shapes/bspline.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/bspline.mli (renamed from shapes/bspline.mli) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/dd_splines.pdf (renamed from shapes/dd_splines.pdf) | bin | 184248 -> 184248 bytes | |||
| -rwxr-xr-x | script.it/shapes/dune (renamed from shapes/dune) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/matrix/EltsI.ml (renamed from shapes/matrix/EltsI.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/matrix/Helpers.ml (renamed from shapes/matrix/Helpers.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/matrix/Matrix.ml (renamed from shapes/matrix/Matrix.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/matrix/MatrixI.ml (renamed from shapes/matrix/MatrixI.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/matrix/Order.ml (renamed from shapes/matrix/Order.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/matrix/dune (renamed from shapes/matrix/dune) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/tools/dune (renamed from shapes/tools/dune) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/tools/utils.ml (renamed from shapes/tools/utils.ml) | 0 | ||||
| -rwxr-xr-x | script.it/shapes/tools/utils.mli (renamed from shapes/tools/utils.mli) | 0 |
39 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ release: dune build --profile=release serve: - cd _build/default && python3 -m http.server 5000 + cd _build/default && python3 -m http.server 8000 clean: dune clean diff --git a/layer/canvaPrinter.ml b/script.it/layer/canvaPrinter.ml index 23cf842..23cf842 100755 --- a/layer/canvaPrinter.ml +++ b/script.it/layer/canvaPrinter.ml diff --git a/layer/canvaPrinter.mli b/script.it/layer/canvaPrinter.mli index 0c46448..0c46448 100755 --- a/layer/canvaPrinter.mli +++ b/script.it/layer/canvaPrinter.mli diff --git a/layer/ductusEngine.ml b/script.it/layer/ductusEngine.ml index b943467..b943467 100755 --- a/layer/ductusEngine.ml +++ b/script.it/layer/ductusEngine.ml diff --git a/layer/ductusEngine.mli b/script.it/layer/ductusEngine.mli index e1660f4..e1660f4 100755 --- a/layer/ductusEngine.mli +++ b/script.it/layer/ductusEngine.mli diff --git a/layer/dune b/script.it/layer/dune index 3c617ad..3c617ad 100755 --- a/layer/dune +++ b/script.it/layer/dune diff --git a/layer/fillEngine.ml b/script.it/layer/fillEngine.ml index 9a3fe7e..9a3fe7e 100755 --- a/layer/fillEngine.ml +++ b/script.it/layer/fillEngine.ml diff --git a/layer/fillEngine.mli b/script.it/layer/fillEngine.mli index e1660f4..e1660f4 100755 --- a/layer/fillEngine.mli +++ b/script.it/layer/fillEngine.mli diff --git a/layer/lineEngine.ml b/script.it/layer/lineEngine.ml index 3d15d9c..3d15d9c 100755 --- a/layer/lineEngine.ml +++ b/script.it/layer/lineEngine.ml diff --git a/layer/lineEngine.mli b/script.it/layer/lineEngine.mli index 86ef5fb..86ef5fb 100755 --- a/layer/lineEngine.mli +++ b/script.it/layer/lineEngine.mli diff --git a/layer/paths.ml b/script.it/layer/paths.ml index d3baf02..d3baf02 100755 --- a/layer/paths.ml +++ b/script.it/layer/paths.ml diff --git a/layer/repr.ml b/script.it/layer/repr.ml index 552e2b7..552e2b7 100755 --- a/layer/repr.ml +++ b/script.it/layer/repr.ml diff --git a/layer/svg.ml b/script.it/layer/svg.ml index 2394cb8..2394cb8 100755 --- a/layer/svg.ml +++ b/script.it/layer/svg.ml diff --git a/layer/wireFramePrinter.ml b/script.it/layer/wireFramePrinter.ml index 81ab271..81ab271 100755 --- a/layer/wireFramePrinter.ml +++ b/script.it/layer/wireFramePrinter.ml diff --git a/layer/wireFramePrinter.mli b/script.it/layer/wireFramePrinter.mli index b198d58..b198d58 100755 --- a/layer/wireFramePrinter.mli +++ b/script.it/layer/wireFramePrinter.mli diff --git a/path/builder.ml b/script.it/path/builder.ml index 4403599..4403599 100755 --- a/path/builder.ml +++ b/script.it/path/builder.ml diff --git a/path/builder.mli b/script.it/path/builder.mli index 2afbd4b..2afbd4b 100755 --- a/path/builder.mli +++ b/script.it/path/builder.mli diff --git a/path/dune b/script.it/path/dune index 863c768..863c768 100755 --- a/path/dune +++ b/script.it/path/dune diff --git a/path/fixed.ml b/script.it/path/fixed.ml index 1362ad3..1362ad3 100755 --- a/path/fixed.ml +++ b/script.it/path/fixed.ml diff --git a/path/fixed.mli b/script.it/path/fixed.mli index 111187c..111187c 100755 --- a/path/fixed.mli +++ b/script.it/path/fixed.mli diff --git a/path/path.ml b/script.it/path/path.ml index ea90de4..ea90de4 100755 --- a/path/path.ml +++ b/script.it/path/path.ml diff --git a/path/point.ml b/script.it/path/point.ml index ec6f8ad..ec6f8ad 100755 --- a/path/point.ml +++ b/script.it/path/point.ml diff --git a/path/point.mli b/script.it/path/point.mli index fe4cb45..fe4cb45 100755 --- a/path/point.mli +++ b/script.it/path/point.mli diff --git a/path/repr.ml b/script.it/path/repr.ml index 17fd914..17fd914 100755 --- a/path/repr.ml +++ b/script.it/path/repr.ml diff --git a/shapes/bezier.ml b/script.it/shapes/bezier.ml index f5f288c..f5f288c 100755 --- a/shapes/bezier.ml +++ b/script.it/shapes/bezier.ml diff --git a/shapes/bezier.mli b/script.it/shapes/bezier.mli index 2f5bbcf..2f5bbcf 100755 --- a/shapes/bezier.mli +++ b/script.it/shapes/bezier.mli diff --git a/shapes/bspline.ml b/script.it/shapes/bspline.ml index bb60227..bb60227 100755 --- a/shapes/bspline.ml +++ b/script.it/shapes/bspline.ml diff --git a/shapes/bspline.mli b/script.it/shapes/bspline.mli index a36aa22..a36aa22 100755 --- a/shapes/bspline.mli +++ b/script.it/shapes/bspline.mli diff --git a/shapes/dd_splines.pdf b/script.it/shapes/dd_splines.pdf Binary files differindex 2618162..2618162 100755 --- a/shapes/dd_splines.pdf +++ b/script.it/shapes/dd_splines.pdf diff --git a/shapes/dune b/script.it/shapes/dune index d03a217..d03a217 100755 --- a/shapes/dune +++ b/script.it/shapes/dune diff --git a/shapes/matrix/EltsI.ml b/script.it/shapes/matrix/EltsI.ml index fcfdb50..fcfdb50 100755 --- a/shapes/matrix/EltsI.ml +++ b/script.it/shapes/matrix/EltsI.ml diff --git a/shapes/matrix/Helpers.ml b/script.it/shapes/matrix/Helpers.ml index 6980052..6980052 100755 --- a/shapes/matrix/Helpers.ml +++ b/script.it/shapes/matrix/Helpers.ml diff --git a/shapes/matrix/Matrix.ml b/script.it/shapes/matrix/Matrix.ml index 7f1d54b..7f1d54b 100755 --- a/shapes/matrix/Matrix.ml +++ b/script.it/shapes/matrix/Matrix.ml diff --git a/shapes/matrix/MatrixI.ml b/script.it/shapes/matrix/MatrixI.ml index fbc4e21..fbc4e21 100755 --- a/shapes/matrix/MatrixI.ml +++ b/script.it/shapes/matrix/MatrixI.ml diff --git a/shapes/matrix/Order.ml b/script.it/shapes/matrix/Order.ml index 5f2aa22..5f2aa22 100755 --- a/shapes/matrix/Order.ml +++ b/script.it/shapes/matrix/Order.ml diff --git a/shapes/matrix/dune b/script.it/shapes/matrix/dune index 1c0cab6..1c0cab6 100755 --- a/shapes/matrix/dune +++ b/script.it/shapes/matrix/dune diff --git a/shapes/tools/dune b/script.it/shapes/tools/dune index a2c3fdb..a2c3fdb 100755 --- a/shapes/tools/dune +++ b/script.it/shapes/tools/dune diff --git a/shapes/tools/utils.ml b/script.it/shapes/tools/utils.ml index b8a473f..b8a473f 100755 --- a/shapes/tools/utils.ml +++ b/script.it/shapes/tools/utils.ml diff --git a/shapes/tools/utils.mli b/script.it/shapes/tools/utils.mli index 4e12906..4e12906 100755 --- a/shapes/tools/utils.mli +++ b/script.it/shapes/tools/utils.mli |