-
Notifications
You must be signed in to change notification settings - Fork 53
Historical Artefacts
Michael Rawson edited this page Jul 12, 2023
·
1 revision
First of all, there is a Vampire README:
https://docs.google.com/document/d/1ZMntJ6Vre5oQ3HLP5lvoyBYTJhAKAysxcMKbSsCdIos/edit?usp=sharing
There is also a "not very well documented list of all Vampire options":
https://docs.google.com/document/d/1XtkM7WAcuHt2VMuDtlpv7wCR_z3hUl2TvGoY-G8GTIY/edit?usp=sharing
Logging had been removed from vampire, so this one is obsolete:
https://docs.google.com/document/d/1vsmC80shh7qCpwgaNTrLzRyz61I0BZWJFvIqiE9yIG8/edit?usp=sharing