Thu, 17 Jan 2019 16:37:06 -0500 | immler | no need for %unimportant for proofs of proposition | changeset | files |
Thu, 17 Jan 2019 16:28:07 -0500 | immler | redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7 | changeset | files |
Thu, 17 Jan 2019 16:22:21 -0500 | immler | revert to 56acd449da41 | changeset | files |