cryptol-mode icon indicating copy to clipboard operation
cryptol-mode copied to clipboard

Published 20 hours ago • verified publisher icon thoughtpolice

imenu only identifies theorems, not regular identifiers.

Open thoughtpolice opened this issue 11 years ago • 1 comments

thoughtpolice avatar Mar 29 '13 02:03 thoughtpolice

Bumping to 0.0.4.

thoughtpolice avatar Apr 01 '13 20:04 thoughtpolice