| Fri, 06 Apr 2018 17:34:50 +0200 | immler | a first shot at tagging for HOL-Analysis manual | changeset | files |
| Thu, 05 Apr 2018 06:15:02 +0000 | haftmann | even more on bit operations | changeset | files |
| Wed, 04 Apr 2018 20:52:36 +0200 | haftmann | more bit operation conversions | changeset | files |
| Tue, 03 Apr 2018 15:36:51 +0000 | haftmann | more rules for numeral conversions; | changeset | files |
| Wed, 28 Mar 2018 12:13:21 -0700 | huffman | tuned proofs and generalized some lemmas about limits | changeset | files |
| Wed, 28 Mar 2018 12:12:19 -0700 | huffman | tuned some proofs | changeset | files |
| Wed, 28 Mar 2018 11:19:07 -0700 | huffman | tuned some proofs about filters | changeset | files |
| Wed, 28 Mar 2018 13:46:21 +0200 | wenzelm | clarified handling of stdout vs. stderr: the cronjob should normally be silent; | changeset | files |