3 Commits

Author	SHA1	Message	Date
Kaz Wesley	e171fba301	New documentation parser (#5917) ... Implement new Enso documentation parser; remove old Scala Enso parser. Performance: Total time parsing documentation is now ~2ms. # Important Notes - Doc parsing is now done only in the frontend. - Some engine tests had never been switched to the new parser. We should investigate tests that don't pass after the switch: #5894. - The option to run the old searcher has been removed, as it is obsolete and was already broken before this (see #5909). - Some interfaces used only by the old searcher have been removed.	2023-03-15 15:43:51 +00:00
Ara Adkins	746521f8b2	Bump SBT and Scalafmt (#1203) ... Co-authored-by: Radosław Waśko <radoslaw.wasko@enso.org> Co-authored-by: Dmitry Bushev <bushevdv@gmail.com>	2020-10-22 16:12:28 +02:00
Radosław Waśko	cf0c735e91	Java 11 Migration (#928)	2020-07-01 13:21:13 +02:00