My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jan van Brügge 9aa4c5dbfc isabelle: Make closer to upstream ... This makes isabelle use the versions of polyml and z3 that are also used upstream. Additionally it packages the sha1 library that isabelle uses. Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>		2 years ago
..
components	isabelle: Add isabelle-linter as optional component	2 years ago
default.nix	isabelle: Make closer to upstream	2 years ago