Revision - b3066c4 - `case` && `elim` now takes clear genpattern + views (for `case`).

Revision b3066c46a786674c6cb09c57357db66ebe7937c0 authored by Pierre-Yves Strub on 10 December 2015, 15:05:46 UTC, committed by Pierre-Yves Strub on 10 December 2015, 15:05:56 UTC

`case` && `elim` now takes clear genpattern + views (for `case`).

1 parent cdb1f75

Files
Changes

Permalinks

File	Mode	Size
bbox
install
patches
srctx
testing
toolchain
activate-toolchain.sh	-rwxr-xr-x	2.2 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...