This page describes how to configure the IntelliJ IDE for KeYmaera X development.

Optional Steps

Automatically add LS Lab Copyright Headers to every new .scala file

Add a new copyright profile: File -> Settings -> Editor -> Copyright -> Copyright Profiles -> +. In the copyright text field type

Copyright (c) Carnegie Mellon University.
See LICENSE.txt for the conditions of this license.

and then click apply.