Skip to content

Advanced

Yiping Su edited this page Apr 13, 2020 · 4 revisions

Overview

Isabelle's core functionality is split up into different packages. Since Isabelle is open source, feel free to alter the default features that are not alterable by .config.

Warning: Altering code directly can break the build if you deleted or changed something incorrectly. If this happens, you can always clone the GitHub repo again. The master branch will always have working builds.

Contents