diff options
| author | Josh Chen | 2020-07-11 15:11:37 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-11 15:11:44 +0200 |
| commit | 7d59cf17b60d196c2a8bb93e5b1927748599107e (patch) | |
| tree | 290614a13aba563ea6ad8b60524cda4790065b33 | |
| parent | 861274890a73702aa4c8d74dac8991bdc0e840de (diff) | |
fix file location reference in license
| -rw-r--r-- | LICENSE | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,8 +4,8 @@ Copyright (c) 2018–2020 Joshua Chen All files are licensed under the terms of the GNU Lesser General Public License v3.0 reproduced below, WITH THE EXCEPTION OF the following files: - spartan/lib/focus.ML - spartan/lib/goals.ML + spartan/core/focus.ML + spartan/core/goals.ML These have been modified from source code which is part of the official Isabelle distribution (https://isabelle.in.tum.de/) and licensed under the |