diff options
Diffstat (limited to 'Resources')
| -rw-r--r-- | Resources/amsthdoc.pdf | bin | 0 -> 177495 bytes |
| -rw-r--r-- | Resources/pgfmanual.pdf | bin | 0 -> 10580316 bytes |
| -rw-r--r-- | Resources/symbols.pdf | bin | 0 -> 261478 bytes |
| -rw-r--r-- | Resources/tikz-cd-doc.pdf | bin | 0 -> 266756 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/Resources/amsthdoc.pdf b/Resources/amsthdoc.pdf new file mode 100644 index 0000000..c9209b0 --- /dev/null +++ b/Resources/amsthdoc.pdf | |||
| Binary files differ | |||
diff --git a/Resources/pgfmanual.pdf b/Resources/pgfmanual.pdf new file mode 100644 index 0000000..47b3273 --- /dev/null +++ b/Resources/pgfmanual.pdf | |||
| Binary files differ | |||
diff --git a/Resources/symbols.pdf b/Resources/symbols.pdf new file mode 100644 index 0000000..7dab684 --- /dev/null +++ b/Resources/symbols.pdf | |||
| Binary files differ | |||
diff --git a/Resources/tikz-cd-doc.pdf b/Resources/tikz-cd-doc.pdf new file mode 100644 index 0000000..e4f8c8d --- /dev/null +++ b/Resources/tikz-cd-doc.pdf | |||
| Binary files differ | |||