143 Commits

Author	SHA1	Message	Date
Arne Keller	a7f1556fe6	Fix misc. UI issues	2021-02-05 17:02:08 +01:00
Arne Keller	e1a90b3923	Final var step: show premise in second step	2021-02-04 21:17:03 +01:00
Arne Keller	bdabb010b0	LatexCreator unification error display (incomplete)	2021-02-04 21:03:04 +01:00
Arne Keller	ab0241e009	Proof tree: check step array index	2021-02-04 20:45:51 +01:00
Arne Keller	2b69a160a3	MathJax: move elements to start of line	2021-02-04 20:30:11 +01:00
Arne Keller	b72f6d01e3	First inference step just displays result	2021-02-04 20:30:11 +01:00
Moritz Dieing	cab1e74490	Add language select	2021-02-04 20:09:28 +01:00
Moritz Dieing	a4659f8386	Extend language files	2021-02-04 20:09:09 +01:00
ucrhh	acdc005ed7	limie SVG hacks to proof tree	2021-02-04 16:50:54 +01:00
ucrhh	fd00b47928	change substitution sign to another arrow	2021-02-04 10:58:09 +01:00
Arne Keller	84a9a3c5a4	Display premises always, space between premises	2021-02-03 21:43:40 +01:00
Arne Keller	2930a274ed	Limit SVG hacks to proof tree and unification	2021-02-03 16:28:35 +01:00
Arne Keller	0cb09b92ec	Increase size of SVG to 100%	2021-02-03 15:10:51 +01:00
Arne Keller	9d4e225d16	Code style fixes	2021-02-02 10:55:46 +01:00
Arne Keller	301069fe6c	Fix MathJax layout	2021-02-01 19:37:56 +01:00
Arne Keller	10cd63abb4	Panning and zooming of inference tree	2021-02-01 16:19:13 +01:00
Arne Keller	15ede65458	Make drawer more obvious	2021-02-01 15:35:15 +01:00
Moritz Dieing	e8baff88a0	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-01-31 14:02:13 +01:00
Moritz Dieing	1d903f7626	Structure for infoDialog	2021-01-31 14:02:05 +01:00
ucrhh	1a5625b6ad	make TypeInferenceView reload safe	2021-01-31 13:33:33 +01:00
ucrhh	a24ae6d98e	fix Mathjax bug where content would sometimes not render at all	2021-01-30 23:19:53 +01:00
Moritz Dieing	69b9ef4773	DrawerContent erweitert + styling und logik besser getrennt	2021-01-30 01:28:53 +01:00
Moritz Dieing	2fc3f78626	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-01-29 19:03:22 +01:00
Moritz Dieing	19549357bd	DrawerContent und RuleField erweitert	2021-01-29 19:03:15 +01:00
ucrhh	5b3a0f3a0f	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-01-29 17:30:04 +01:00
ucrhh	d294ed5471	change mathjax unifiaction to use String[]	2021-01-29 17:29:38 +01:00
Moritz Dieing	158760ed5f	HelpDialog und kleinere Änderungen	2021-01-29 17:15:59 +01:00
Arne Keller	d9660c6299	Replace combobox with less annoying example dialog	2021-01-29 10:02:14 +01:00
Moritz Dieing	f66f01fe0f	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-01-29 01:25:52 +01:00
Moritz Dieing	36e8b4c020	UpperBar + InputBar erweitert	2021-01-29 01:25:49 +01:00
ucrhh	c392cc0c0f	enable mjx proof tree step functionality	2021-01-29 00:19:21 +01:00
ucrhh	20fc3fd892	add skeletons for all Mathjax classes	2021-01-28 22:11:48 +01:00
Arne Keller	26ddf5fdd7	MathJax typeset in connectedCallback	2021-01-28 17:59:50 +01:00
Arne Keller	cfec25c566	MathJax: use shadow DOM, wait for content	2021-01-28 17:50:56 +01:00
Arne Keller	9f13bb7e42	MathJax without Shadow DOM (did not work) ... Checkstyle excludes Bundle MathJax	2021-01-28 16:18:42 +01:00
ucrhh	2c62690428	add mathjax proof tree	2021-01-28 14:50:25 +01:00
ucrhh	df5315934c	merge	2021-01-28 12:47:06 +01:00
ucrhh	bee97390b6	mathjax now rendering with MathjaxDisplay	2021-01-28 12:33:38 +01:00
Moritz Dieing	c37934f898	UpperBar erweitert	2021-01-28 12:16:10 +01:00
ucrhh	15bab40610	add first mathjax classes	2021-01-28 10:41:20 +01:00
Moritz Dieing	737197df02	Klassenrümpfe + copyToClipboard	2021-01-28 00:31:27 +01:00
Me	34f4e7c49e	add more classes	2021-01-27 10:23:05 +01:00
Me	e0b3a9165b	Vaadin init	2021-01-26 16:05:33 +01:00