Freshen docs for the JuMP and Gmsh front ends

README gains feature bullets for the two extensions (they were absent);
index.md's Gmsh teaser no longer says order-2 only (quads and hexes import at
any order); jump.md's exported-names note adds Continuous, mgb_solution and
solver_log; gmsh.md's intro mentions that the path form also accepts .geo
files.

Author: Sébastien Loisel

README.md

@@ -38,6 +38,11 @@ plot(sol)
 - **Discretizations:** finite elements in 1D/2D/3D (simplicial `P1`/`P2` and tensor-product `Q_k`),
   plus Chebyshev spectral elements; all isoparametric.
 - **Solver:** an algebraic-multigrid hierarchy (`amg`) driving a barrier (interior-point) method.
+- **JuMP modeling front end** (loads with `using JuMP`): state variational problems with
+  `@variable`/`@constraint`/`@objective`; `optimize!` lowers them straight to the multigrid
+  barrier pipeline.
+- **Gmsh mesh import** (loads with `using Gmsh`): triangles, quads, and hexes at any order,
+  with physical groups as named regions for boundary conditions.
 - **Topological meshes:** slit domains, branch cuts, and glued manifolds via explicit connectivity
   (the `t=` keyword and `tensor_dofmap`).
 - **GPU:** optional CUDA acceleration.

docs/src/gmsh.md

@@ -9,8 +9,8 @@ meshes of simple domains. For real geometry — CAD shapes, holes, local
 refinement, named boundary parts — use [Gmsh](https://gmsh.info), the standard
 open-source mesh generator. The `MultiGridBarrierGmshExt` extension loads
 automatically when both packages are imported and provides
-[`gmsh_import`](@ref), which converts the current Gmsh mesh (or a `.msh` file)
-into a `Geometry` plus named node sets:
+[`gmsh_import`](@ref), which converts the current Gmsh mesh (or a `.msh`/`.geo`
+file) into a `Geometry` plus named node sets:
 
 - 3/6-node triangles → `fem2d_P1` / `fem2d_P2` (curved P2 edges supported),
 - quadrilaterals → tensor `fem2d` of **any order** (curved; non-planar quad

docs/src/index.md

@@ -257,9 +257,9 @@ Prefer stating problems in an algebraic modeling language? The
 syntax and lowers it to this same pipeline, building the hierarchy automatically.
 
 Need meshes of real geometry (CAD shapes, holes, named boundary parts)? The
-[Gmsh importer](gmsh.md) converts Gmsh meshes — triangles, quads, hexahedra,
-straight or curved order-2 — into a `Geometry`, and physical groups into named
-node sets for `dirichlet_nodes` and `On`.
+[Gmsh importer](gmsh.md) converts Gmsh meshes — P1/P2 triangles, and quads or
+hexahedra of any order, straight or curved — into a `Geometry`, and physical
+groups into named node sets for `dirichlet_nodes` and `On`.
 
 ### Meshes, coordinates, and connectivity
 

docs/src/jump.md

@@ -19,8 +19,8 @@ user-visible.
     automatically once both `MultiGridBarrier` and `JuMP` are imported. JuMP is
     not a dependency of MultiGridBarrier, so add it to your environment first
     (`pkg> add JuMP`). The modeling API (`MGBModel`, `Coef`, `EpiPower`,
-    `deriv`, `integral`, `set_start`, `On`, `Broken`, `Uniform`) is then
-    exported from `MultiGridBarrier`.
+    `deriv`, `integral`, `set_start`, `On`, `Broken`, `Continuous`, `Uniform`,
+    `mgb_solution`, `solver_log`) is then exported from `MultiGridBarrier`.
 
 ## Setup