You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: README.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -7,7 +7,7 @@
7
7
8
8
**NEWS:** First datasets produced by CorTeX are now available for reuse via the [SIGMathLing interest group](https://sigmathling.kwarc.info/), see the [resource section](https://sigmathling.kwarc.info/resources/)
9
9
10
-
**Nightly rust required**: minimal supported version currently `1.32.0-nightly (14997d56a 2018-12-05)`
10
+
**Nightly rust required**: minimal supported version currently `rustc 1.33.0-nightly (c76f3c374 2019-01-18)`
0 commit comments