This instance will be upgraded to Heptapod 0.40.0 (final) on 2023-12-05 at 16:00 UTC+1
Isabelle2023 release of the Archive of Formal Proofs
Testboard repository for AFP. Push to this repository if you want to test changes for afp-devel.
Modularity, scalability & security for your business
Isabelle2022 release of the Archive of Formal Proofs
Mercurial Mozilla Repo for SeaMonkey Releases
Mercurial Comm Repo for SeaMonkey Releases
The repository for TortoiseHg official website (http://tortoisehg.org).
(clone source from https://bitbucket.org/kuy/thg-web)
Main development repository for TortoiseHg
Send patches/questions to firstname.lastname@example.org | https://groups.google.com/forum/#!forum/thg-dev
Downloads available at https://www.mercurial-scm.org
This is a small package containing a Sphinx theme named "Cloud", along with some related Sphinx extensions. See the documentation for an example of this theme, and more details - https://cloud-sptheme.readthedocs.io/
A Visual Studio Code extension for editing, building, and debugging ZIL projects.
Syntax highlighting and other editor support features for the ZIL language.
Windows binary package builder for TortoiseHg and Mercurial