diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json index 5d18a655..a4a272b9 100644 --- a/dev/.documenter-siteinfo.json +++ b/dev/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-28T14:15:57","documenter_version":"1.5.0"}} \ No newline at end of file +{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-08-14T07:45:32","documenter_version":"1.5.0"}} \ No newline at end of file diff --git a/dev/examples/index.html b/dev/examples/index.html index 2581a0a1..b8f3090e 100644 --- a/dev/examples/index.html +++ b/dev/examples/index.html @@ -410,4 +410,4 @@
p = @pm tropical.Polytope{Max, QuadraticExtension}(POINTS=[1 0 0; 1 1 0; 1 1 1])
here: @pm
Settings
This document was generated with Documenter.jl version 1.5.0 on Sunday 28 July 2024. Using Julia version 1.10.4.