Optional Additional IntelliJ Configuration

Jump to bottom Edit New page

Nathan Fulton edited this page May 16, 2016 · 1 revision

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.

The KeYmaera X Theorem Prover for Hybrid Systems