Skip to content

Latest commit

 

History

History
31 lines (16 loc) · 376 Bytes

CHANGELOG.md

File metadata and controls

31 lines (16 loc) · 376 Bytes
Raw

Change Log

0.0.7

  • Syntax for Elpi 2.0

0.0.6

  • Drop dependency on maximedenes.vscoq since the extension works with both maximedenes.vscoq and coq-community.vscoq1

0.0.5

  • Fix minor glitches

0.0.4

  • Elpi Export .

0.0.3

  • depend on maximedenes.vscoq rather than the old siegebell.vscoq

0.0.2

  • minor fix

0.0.1

  • Initial release