diff --git a/doc/pdf/mpabi-inf-cpp-y2s1-06-invariants-v00.01-ff5b018f-132a-5690-9407-5961aa4504f2.pdf b/doc/pdf/mpabi-inf-cpp-y2s1-06-invariants-v00.01-ff5b018f-132a-5690-9407-5961aa4504f2.pdf
new file mode 100644
index 0000000..403c7e0
Binary files /dev/null and b/doc/pdf/mpabi-inf-cpp-y2s1-06-invariants-v00.01-ff5b018f-132a-5690-9407-5961aa4504f2.pdf differ
diff --git a/doc/pdf/source-commit.txt b/doc/pdf/source-commit.txt
new file mode 100644
index 0000000..b6a5d4a
--- /dev/null
+++ b/doc/pdf/source-commit.txt
@@ -0,0 +1 @@
+d72f5bae076e653e5689a41ca35071e9d06e7d5a