Ralf Jung (8a496af1) at 20 Feb 08:10
Ralf Jung (8a496af1) at 20 Feb 08:01
update test-normalizer: remove old cruft, add Ltac2 printing change
... and 1379 more commits
Ralf Jung (2582700a) at 14 Sep 16:00
Ralf Jung (2582700a) at 14 Sep 14:18
fix Coq 8.18 deprecation warnings
Ralf Jung (a1d52529) at 14 Sep 13:11
fix Coq 8.18 deprecation warnings
Ralf Jung (00c1cd82) at 14 Sep 12:59
fix Coq 8.18 deprecation warnings
Ralf Jung (8b2b17ab) at 03 May 18:54
Ralf Jung (c029ed16) at 24 Mar 11:21
don't use ⊢ in high-level lemmas
Ralf Jung (2d81a9ec) at 30 Nov 10:18
changelog
Ralf Jung (3934a80f) at 29 Nov 09:28