summaryrefslogtreecommitdiff
path: root/nix-turing
diff options
context:
space:
mode:
authorstuebinm2022-01-23 16:00:01 +0100
committerstuebinm2022-01-23 16:00:01 +0100
commit2c9c4425903fdd168ba6cfbc3e9e5df35a111682 (patch)
treefa24899ba872f5ea8b690dc5a7398b343198e617 /nix-turing
parent33e52e07bad4adde3b9e0478b26e3a48d359b617 (diff)
bump isabelle to 2021-1HEADmaster
Diffstat (limited to 'nix-turing')
0 files changed, 0 insertions, 0 deletions