Tue, 03 Mar 2020 10:58:00 +0100 Edouard Tisserant SVGHMI: re-indent generated JS svghmi
Mon, 02 Mar 2020 16:30:29 +0100 Edouard Tisserant SVGHMI: detach/re-attach elements required by pages on page switch svghmi
Mon, 02 Mar 2020 16:25:35 +0100 Edouard Tisserant SVGHMI: re-indenting svghmi
Mon, 02 Mar 2020 14:43:21 +0100 Edouard Tisserant SVGHMI: declares pages detachable requirements as an object, to find more efficiently common requirements svghmi
Mon, 02 Mar 2020 10:29:41 +0100 Edouard Tisserant SVGHMI: fix some JS + add generation of detachable elements, to be continued svghmi
Fri, 28 Feb 2020 22:54:07 +0100 Edouard Tisserant SVGHMI: now compute discardable elements first so that we can do better grouping of required elements when sumarizing. svghmi
Fri, 28 Feb 2020 17:52:35 +0100 Edouard Tisserant SVGHMI : documentation for new geometry intersection computation code + little fixes... svghmi