diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2020-01-27 18:46:00 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-01-27 18:46:00 -0500 |
| commit | dbdf458dc49191a6f355a16bae839a2d618513b7 (patch) | |
| tree | 7e267e1b3bc5f08ac7b82d2e9543f89d2be4de94 /src/elab_util.sml | |
| parent | cf25fee8d3d0dfacf6733521afea9a242a00d31e (diff) | |
| parent | 3256b037dafdb0818589ca475df5e2aed64f1af2 (diff) | |
Merge pull request #194 from mdempsky/manual-tweaks
Manual tweaks
Diffstat (limited to 'src/elab_util.sml')
0 files changed, 0 insertions, 0 deletions