wp

polystat · Sep 8, 2021 · b4d7bc9 · b4d7bc9
1 parent 67cf0e7
commit b4d7bc9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -16,6 +16,8 @@
 
 This is an experimental polystat static analyzer.
 
+Read the [White Paper](https://www.polystat.org/wp.pdf) first.
+
 Download `polystat-*-jar-with-dependencies.jar` 
 from [Maven Central](https://search.maven.org/artifact/org.polystat/polystat) 
 and then run (replace the asterisk with the 

diff --git a/white-paper/README.md b/white-paper/README.md
@@ -1,4 +1,4 @@
-<img src="https://raw.githubusercontent.com/polystat/polystat.github.io/master/logo.svg" height="64px"/>
+<img src="https://www.polystat.org/logo.svg" height="92px"/>
 
 [![make](https://github.com/polystat/polystat/actions/workflows/latexmk.yml/badge.svg)](https://github.com/polystat/polystat/actions/workflows/latexmk.yml)