9 Commits

Author	SHA1	Message	Date
Laurenz	fd417da04f	Improve value casting infrastructure	2023-06-06 22:06:16 +02:00
Laurenz	89f44f220d	Bibliography and citations	2023-03-14 22:53:54 +01:00
Laurenz	ca6edf5283	Jump to source and preview	2023-03-11 23:29:32 +01:00
Laurenz	c987f07b76	HTML highlighting	2023-01-29 23:23:03 +01:00
Laurenz	43ef60c09c	Tracing-based expression tooltips	2023-01-27 12:05:12 +01:00
Laurenz	94b90761eb	Bugfixes	2022-12-27 16:07:26 +01:00
Laurenz	f3980c7045	Basic autocompletion	2022-12-14 10:10:26 +01:00
Laurenz	0c7fb7d30f	Hover tooltips	2022-12-14 10:10:07 +01:00
Laurenz	4c73456fc1	Move highlighting into new IDE module	2022-12-14 10:02:19 +01:00