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
James Dunkerley	f0f6deef2a	Load the File_Format types via a ServiceLoader (#3813) ... Moves the File.read method into the `File` type. Uses the ServiceLoader to find all types for the File_Format.	2022-10-24 09:55:18 +00:00
Dmitry Bushev	ca0a6f0bf6	Update Scala to 2.13.7 (#3214)	2021-12-31 17:50:32 +03:00