| Fri, 18 Aug 2017 13:55:05 +0200 | wenzelm | more informative error message, e.g. relevant for incoherent imports; | changeset | files |
| Fri, 18 Aug 2017 14:57:23 +0200 | Lars Hupel | syntax for pattern aliases | changeset | files |
| Thu, 17 Aug 2017 22:29:30 +0200 | eberlm | NEWS: Removed constant subseq; subsumed by strict_mono | changeset | files |
| Thu, 17 Aug 2017 21:12:55 +0200 | wenzelm | support for incremental update according to session graph structure; | changeset | files |
| Thu, 17 Aug 2017 18:19:16 +0200 | eberlm | Merged | changeset | files |
| Thu, 17 Aug 2017 14:52:56 +0200 | eberlm | Replaced subseq with strict_mono | changeset | files |
| Thu, 17 Aug 2017 15:10:35 +0200 | Lars Hupel | fix document | changeset | files |
| Thu, 17 Aug 2017 14:40:42 +0200 | wenzelm | more complete session (amending e77ea0ea7f2c); | changeset | files |