diff options
| author | Arnaud Spiwack | 2015-01-14 14:50:31 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-01-14 14:50:58 +0100 |
| commit | 3c0e842a133a9da088a9f0fe0fb9b0e699f984ac (patch) | |
| tree | 05238cc1f7d806b066a8821641275263a4d5a894 /kernel/nativecode.ml | |
| parent | 9e809796dda907f39c4792a247d3156433de4fc4 (diff) | |
Reference manual: I had previously omitted the syntax entry for [> t1|…|tn].
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions