# HG changeset patch
# User wenzelm
# Date 1611337474 -3600
# Node ID ab3fa0abc1195374c63e83029273586255bc6749
# Parent  91fc3b3df93f8cc2d8f72f3eff373abde023176c
IDE support for Naproche-SAD;

diff -r 91fc3b3df93f -r ab3fa0abc119 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 22 15:58:17 2021 +0100
+++ b/Admin/components/components.sha1	Fri Jan 22 18:44:34 2021 +0100
@@ -210,6 +210,7 @@
 ad5d0e640ce3609a885cecab645389a2204e03bb  macos_app-20150916.tar.gz
 400af57ec5cd51f96928d9de00d077524a6fe316  macos_app-20181205.tar.gz
 3bc42b8e22f0be5ec5614f1914066164c83498f8  macos_app-20181208.tar.gz
+eda10c62da927a842c0a8881f726eac85e1cb4f7  naproche-20210122.tar.gz
 26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
 e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz
 fe57793aca175336deea4f5e9c0d949a197850ac  opam-1.2.2.tar.gz
diff -r 91fc3b3df93f -r ab3fa0abc119 Admin/components/main
--- a/Admin/components/main	Fri Jan 22 15:58:17 2021 +0100
+++ b/Admin/components/main	Fri Jan 22 18:44:34 2021 +0100
@@ -11,6 +11,7 @@
 jfreechart-1.5.1
 jortho-1.0-2
 kodkodi-1.5.6
+naproche-20210122
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686
diff -r 91fc3b3df93f -r ab3fa0abc119 NEWS
--- a/NEWS	Fri Jan 22 15:58:17 2021 +0100
+++ b/NEWS	Fri Jan 22 18:44:34 2021 +0100
@@ -63,6 +63,10 @@
 * Improved GUI support for macOS 11.1 Big Sur: native fullscreen mode,
 but non-native look-and-feel (FlatLaf).
 
+* IDE support for Naproche-SAD: Proof Checking of Natural Mathematical
+Documents. See also $NAPROCHE_HOME/examples for files with .ftl or
+.ftl.tex extension.
+
 
 *** Document preparation ***