[ release ] Release 0.1.3

owo-lang · Apr 21, 2019 · 4791284 · 4791284
1 parent f61f262
commit 4791284
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/res/META-INF/change-notes.html b/res/META-INF/change-notes.html
@@ -3,7 +3,7 @@
 	<li>Tons of internal refactorings</li>
 	<li>Initial support for Vanilla Mini-TT (internally called ACore,
 		which is short for "Agda Core")</li>
-	<li>Support resolving const declarations in Mini-TT</li>
+	<li>Support resolving <code>const</code> declarations in Mini-TT</li>
 </ul>
 0.1.2<br/>
 <ul>

diff --git a/src/org/ice1000/tt/error/error-report.kt b/src/org/ice1000/tt/error/error-report.kt
@@ -50,6 +50,7 @@ import org.eclipse.egit.github.core.RepositoryId
 import org.eclipse.egit.github.core.client.GitHubClient
 import org.eclipse.egit.github.core.service.IssueService
 import org.ice1000.tt.TT_PLUGIN_ID
+import org.ice1000.tt.project.acoreSettingsNullable
 import org.ice1000.tt.project.agdaSettingsNullable
 import org.ice1000.tt.project.minittSettingsNullable
 import org.jetbrains.annotations.NonNls
@@ -284,6 +285,7 @@ private fun getKeyValuePairs(
 		"error.description" to error.description,
 		"Mini-TT version" to (project?.minittSettingsNullable?.settings?.version ?: "Unknown"),
 		"Agda version" to (project?.agdaSettingsNullable?.settings?.version ?: "Unknown"),
+		"Vanilla Mini-TT version" to (project?.acoreSettingsNullable?.settings?.version ?: "Unknown"),
 		"Plugin Name" to error.pluginName,
 		"Plugin Version" to error.pluginVersion,
 		"OS Name" to SystemInfo.OS_NAME,