progmaweb/apps/web/lib/sites.ts, branch main The site and account service of Progmasoft: a Next.js frontend and an ASP.NET Core API. Remove Xide and ides.progmasoft.com 2026-11-08T15:46:08+00:00 Leitwolf11 2026-11-08T15:46:08+00:00 efa1f584205e93c292ea40b564d92a03f12ab33c Xide is no longer developed as of 2026-11-08 (Progmasoft/xide#29), so Progmaweb stops presenting it: - product.progmasoft.com: Xide leaves the catalog, its card and its detail page; /xide on the product host is a 404 like any unknown product. The catalog's description in every language names the Tala language with its tools and Catch3. - ides.progmasoft.com served only the IDE list and the Xide page, so the whole site goes: the pages under app/ides, its texts in every language, idesRoute and its host in the proxy, and both nginx server blocks. The certificate of progmasoft.com no longer has to name it. Tests: the catalog lists the remaining products and refuses xide. 
Xide is no longer developed as of 2026-11-08 (Progmasoft/xide#29), so
Progmaweb stops presenting it:

- product.progmasoft.com: Xide leaves the catalog, its card and its
  detail page; /xide on the product host is a 404 like any unknown
  product. The catalog's description in every language names the Tala
  language with its tools and Catch3.
- ides.progmasoft.com served only the IDE list and the Xide page, so the
  whole site goes: the pages under app/ides, its texts in every
  language, idesRoute and its host in the proxy, and both nginx server
  blocks. The certificate of progmasoft.com no longer has to name it.

Tests: the catalog lists the remaining products and refuses xide.
Redesign progmasoft.com and add the product catalog and product sites 2026-10-23T08:29:43+00:00 Leitwolf11 2026-10-23T08:29:43+00:00 20a55c4ccbb0f181346444a4c7f083e86389cf9c progmasoft.com presents Progmasoft as a pool of technology areas instead of a list of products: languages and compilers, build and packages, developer tools, quality and testing, identity and access, and infrastructure. The page has a new hero, a bento of areas, principles and a developers band that leads to the Progmasoft Console; the products are one link away in their own catalog. product.progmasoft.com lists Tala, talac, talafmt, talalint, Tazel, Xide and Catch3, each with its own page (/tala-lang, /talac, ...) that leads to the product's site and source. ides.progmasoft.com lists the IDEs and hosts the Xide site at /xide; catch3.progmasoft.com is the Catch3 site. The facts follow the READMEs and documentation of the product repositories: Xide is marked as early work, and Catch3 states that it is not an official Catch2 release. The theme switch no longer freezes or flickers. The layout rendered data-theme="light" on <html>, so every server re-render of the layout (a language switch) set it back. The control also applied the theme in an effect after the render while buttons animated their colours. The attribute now belongs to the bootstrap script and the control alone; the control applies the theme in the click, and transitions are off for the two frames of the change. All new text is in en-US, de-DE, ru-RU and he-IL. The old home messages leave localization.ts. The proxy maps the new hosts through one table, and nginx gains their virtual hosts. 
progmasoft.com presents Progmasoft as a pool of technology areas instead
of a list of products: languages and compilers, build and packages,
developer tools, quality and testing, identity and access, and
infrastructure. The page has a new hero, a bento of areas, principles and
a developers band that leads to the Progmasoft Console; the products are
one link away in their own catalog.

product.progmasoft.com lists Tala, talac, talafmt, talalint, Tazel, Xide
and Catch3, each with its own page (/tala-lang, /talac, ...) that leads
to the product's site and source. ides.progmasoft.com lists the IDEs and
hosts the Xide site at /xide; catch3.progmasoft.com is the Catch3 site.
The facts follow the READMEs and documentation of the product
repositories: Xide is marked as early work, and Catch3 states that it is
not an official Catch2 release.

The theme switch no longer freezes or flickers. The layout rendered
data-theme="light" on <html>, so every server re-render of the layout
(a language switch) set it back. The control also applied the theme in
an effect after the render while buttons animated their colours. The
attribute now belongs to the bootstrap script and the control alone; the
control applies the theme in the click, and transitions are off for the
two frames of the change.

All new text is in en-US, de-DE, ru-RU and he-IL. The old home messages
leave localization.ts. The proxy maps the new hosts through one table, and
nginx gains their virtual hosts.