build based on 7b43657

jump-dev · Jan 7, 2025 · 18c2e71 · 18c2e71
1 parent 61b29c9
commit 18c2e71
Show file tree

Hide file tree

Showing 391 changed files with 133,036 additions and 4 deletions.
diff --git a/stable b/stable
@@ -1 +1 @@
-v1.23.5
+v1.23.6
diff --git a/v1 b/v1
@@ -1 +1 @@
-v1.23.5
+v1.23.6
diff --git a/v1.23 b/v1.23
@@ -1 +1 @@
-v1.23.5
+v1.23.6
diff --git a/v1.23.6/.documenter-siteinfo.json b/v1.23.6/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2025-01-07T00:25:38","documenter_version":"1.8.0"}}
diff --git a/v1.23.6/JuMP.pdf b/v1.23.6/JuMP.pdf
diff --git a/v1.23.6/api/JuMP.Containers/index.html b/v1.23.6/api/JuMP.Containers/index.html
diff --git a/v1.23.6/api/JuMP/index.html b/v1.23.6/api/JuMP/index.html
diff --git a/v1.23.6/assets/cartwheel_galaxy.png b/v1.23.6/assets/cartwheel_galaxy.png
diff --git a/v1.23.6/assets/case9mod.png b/v1.23.6/assets/case9mod.png
diff --git a/v1.23.6/assets/citations.css b/v1.23.6/assets/citations.css
@@ -0,0 +1,17 @@
+.citation dl {
+  display: grid;
+  grid-template-columns: max-content auto; }
+.citation dt {
+  grid-column-start: 1; }
+.citation dd {
+  grid-column-start: 2;
+  margin-bottom: 0.75em; }
+.citation ul {
+ padding: 0 0 2.25em 0;
+ margin: 0;
+ list-style: none !important;}
+.citation ul li {
+ text-indent: -2.25em;
+ margin: 0.33em 0.5em 0.5em 2.25em;}
+.citation ol li {
+ padding-left:0.75em;}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2025-01-07T00:25:38","documenter_version":"1.8.0"}}