| Sat, 25 Apr 2015 17:38:22 +0200 | nipkow | new ==> simp rule | changeset | files |
| Wed, 22 Apr 2015 20:07:00 +0200 | blanchet | improved docs | changeset | files |
| Wed, 22 Apr 2015 13:48:34 +0200 | nipkow | merged | changeset | files |
| Wed, 22 Apr 2015 12:15:27 +0200 | nipkow | merged | changeset | files |
| Wed, 22 Apr 2015 12:11:48 +0200 | nipkow | added simp rules for ==> | changeset | files |
| Wed, 22 Apr 2015 12:43:06 +0100 | paulson | fixes for limits | changeset | files |
| Tue, 21 Apr 2015 17:19:00 +0100 | paulson | New material, mostly about limits. Consolidation. | changeset | files |
| Mon, 20 Apr 2015 13:46:36 +0100 | kleing | be less specific about POLYML_HOME, take component setup instead | changeset | files |
| Mon, 20 Apr 2015 11:23:00 +0200 | blanchet | declare Nitpick atoms to avoid '??.' prefixes in output | changeset | files |
| Sun, 19 Apr 2015 21:26:50 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Sun, 19 Apr 2015 19:46:44 +0200 | blanchet | acknowledgment | changeset | files |
| Sun, 19 Apr 2015 19:43:36 +0200 | blanchet | suppressed warnings | changeset | files |
| Sun, 19 Apr 2015 19:29:38 +0200 | blanchet | updated docs, esp. relating to 'datatype_compat' | changeset | files |
| Sun, 19 Apr 2015 15:38:24 +0100 | kleing | typo | changeset | files |
| Sat, 18 Apr 2015 23:43:30 +0200 | wenzelm | clarified keywords for quasi-command spans and Sidekick structure; | changeset | files |