diff options
| author |  Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-12 22:50:35 +0100 |
|---|---|---|
| committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 11:46:57 +0100 |
| commit | 679977b188fc9bbfd1b311e895ca48454876b7f4 (patch) | |
| tree | 6ee224027ce86997ffa673221c8ed5d7f7a22e52 /demo/counter.urs | |
| parent | faff2d8ac927fd49f13fbaf9b84ffc99bbb6f9b8 (diff) | |
Tweaks to autocompletion of datatype constructors
Diffstat (limited to 'demo/counter.urs')
0 files changed, 0 insertions, 0 deletions