Commits on Apr 30, 2024

1. Remove theorem prover targets from default Makefile rule …

   In general we aren't requiring contributors to implement the correct
   Lem/Isabelle/HOL4/Coq stubs for new extensions (this would almost
   certainly be way too high a bar) so having these in the default set of
   build targets just means that typing 'make' is broken until those of us
   who are invested in maintaining those targets can add updates for those
   stubs.

   

   Alasdair committed Apr 30, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 367ae7c
   • Browse repository at this point

   Copy the full SHA

   367ae7c View commit details

   Browse the repository at this point in the history