Email Gateway (Aug 18 2022 at 15:58): Email Gateway (Aug 18 2022 at 15:58):From: Steve W <s.wong.731@gmail.com>
Hello
Just for experimental reasons, I've made some changes to the source of
Isabelle. How do I recompile Isabelle from source? Is rebuilding the logics
sufficient? The changes I've made is to some files in Provers/. Thanks for
the help.
Steve
Email Gateway (Aug 18 2022 at 15:58):From: Jasmin Blanchette <jasmin.blanchette@gmail.com>
Yes, rebuilding the logics is sufficient.
Jasmin
Email Gateway (Aug 18 2022 at 15:59):From: Makarius <makarius@sketis.net>
Just use the Isabelle2009-2/build executable -- there are also some
options, pass -? for help.
Makarius
Last updated: Apr 27 2024 at 01:05 UTC