22 Commits

Author	SHA1	Message	Date
Moritz Dieing	1d903f7626	Structure for infoDialog	2021-01-31 14:02:05 +01:00
Arne Keller	e540c6ec4c	CI: optimize Maven usage	2021-01-30 13:52:54 +01:00
Johanna Stuber	9affbb4807	Tests for Substitution, Constraint	2021-01-30 13:13:51 +01:00
Arne Keller	370acda75c	First integration test	2021-01-29 18:23:33 +01:00
Arne Keller	4e5488e1eb	Include token in ParseError + more error handling	2021-01-29 09:40:35 +01:00
Arne Keller	878130ebba	Handle empty lambda term in parser	2021-01-29 08:12:45 +01:00
ucrhh	c8c5f2b63b	run checkstyle on mvn test	2021-01-29 00:28:38 +01:00
Arne Keller	2bb2b98a36	Checkstyle: ignore resource files	2021-01-28 16:24:08 +01:00
Arne Keller	9f13bb7e42	MathJax without Shadow DOM (did not work) ... Checkstyle excludes Bundle MathJax	2021-01-28 16:18:42 +01:00
Arne Keller	5f2e07fd82	CI: Use JaCoCo for test coverage	2021-01-28 14:44:34 +01:00
ucrhh	e114e7e3f5	merge	2021-01-28 14:36:33 +01:00
ucrhh	9e06712552	vaadin fix	2021-01-28 14:32:35 +01:00
Moritz Dieing	82aa689084	InputBar und UpperBar erweitert	2021-01-28 13:20:44 +01:00
Arne Keller	c5a3cce7bf	CI: test coverage ... And a complicated parser test	2021-01-28 10:32:28 +01:00
Arne Keller	f51e3304e2	Term-Paket fertig	2021-01-28 09:52:26 +01:00
Arne Keller	cf00fb803b	Checkstyle-Fehler behoben	2021-01-27 21:02:52 +01:00
Arne Keller	15134d544d	CI: Checkstyle	2021-01-27 21:02:52 +01:00
Arne Keller	5cf04a979a	Checkstyle für Maven konfiguriert	2021-01-27 21:02:51 +01:00
Arne Keller	3d5c84be03	Erster Unittest für Parser	2021-01-27 10:23:54 +01:00
Arne Keller	c8564e14bd	Nicht benötigte Vaadin-Bibliotheken (date picker etc.) entfernt	2021-01-27 09:12:15 +01:00
Me	6b70e3b9db	add ControlPanel(View)	2021-01-26 17:05:47 +01:00
Me	e0b3a9165b	Vaadin init	2021-01-26 16:05:33 +01:00