Changes: Introduce fact justification, and downgraded to using jvm-1.5 bytecode (https://github.com/sireum/v3-intellij/compare/4a9d01c...13e20d4).
↧
Channel:
News - Marketplace | JetBrains
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: News - Marketplace | JetBrains
- Channel Number: 25969408
- Language: English
- Registered On: December 5, 2013, 7:13 am
- Number of Articles: 72158
- Latest Snapshot: November 17, 2024, 9:31 pm
- RSS URL: http://plugins.jetbrains.com/rss.php
- Publisher: https://plugins.jetbrains.com
- Description: Latest news from JetBrains Marketplace
- Catalog: //intellij48.rssing.com/catalog.php?indx=25969408
© 2024 //www.rssing.com