diff --git a/previews/PR497/.documenter-siteinfo.json b/previews/PR497/.documenter-siteinfo.json index cbc7e79d..99675cc2 100644 --- a/previews/PR497/.documenter-siteinfo.json +++ b/previews/PR497/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-09-18T12:42:29","documenter_version":"1.7.0"}} \ No newline at end of file +{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-09-18T14:55:28","documenter_version":"1.7.0"}} \ No newline at end of file diff --git a/previews/PR497/examples/index.html b/previews/PR497/examples/index.html index 1f1bc4e3..dbdd7a30 100644 --- a/previews/PR497/examples/index.html +++ b/previews/PR497/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.7.0 on Wednesday 18 September 2024. Using Julia version 1.10.5.