69 Commits

Author	SHA1	Message	Date
ucrhh	585b402cd7	add border to proof tree	2021-02-09 22:09:34 +01:00
Moritz Dieing	b7d5611755	Implement TypeAssumptions (frontend)	2021-02-08 00:54:40 +01:00
Moritz Dieing	c42fd73361	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-06 12:09:40 +01:00
Moritz Dieing	619e6da18c	Change drawer width + render on language change	2021-02-06 12:06:49 +01:00
Arne Keller	843430439d	Fix layout of upper bar	2021-02-06 10:42:02 +01:00
Moritz Dieing	4c98976059	Extends content of infoDialog	2021-02-05 23:58:19 +01:00
Moritz Dieing	54e0777eab	Content for info dialog	2021-02-05 18:48:13 +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
Arne Keller	0cb09b92ec	Increase size of SVG to 100%	2021-02-03 15:10:51 +01:00
Arne Keller	15ede65458	Make drawer more obvious	2021-02-01 15:35:15 +01:00
Moritz Dieing	1d903f7626	Structure for infoDialog	2021-01-31 14:02:05 +01:00
Moritz Dieing	69b9ef4773	DrawerContent erweitert + styling und logik besser getrennt	2021-01-30 01:28:53 +01:00
Moritz Dieing	19549357bd	DrawerContent und RuleField erweitert	2021-01-29 19:03:15 +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	36e8b4c020	UpperBar + InputBar erweitert	2021-01-29 01:25:49 +01:00
Moritz Dieing	c37934f898	UpperBar erweitert	2021-01-28 12:16:10 +01:00
Me	34f4e7c49e	add more classes	2021-01-27 10:23:05 +01:00