457 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Moritz Dieing	d6bc8bb9cd	package info for content and infocontent	2021-02-20 01:01:41 +01:00
Moritz Dieing	3283d566f3	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-20 00:33:58 +01:00
Moritz Dieing	cb28b00ca3	JavaDoc for IT classes	2021-02-20 00:32:33 +01:00
ucrhh	28aee51c7f	fix pipeline	2021-02-19 23:21:24 +01:00
ucrhh	6fc73d1a3f	reformat, sanitize docs	2021-02-19 22:56:25 +01:00
ucrhh	e3b5d85cd5	forgot to use string constant	2021-02-19 18:55:34 +01:00
ucrhh	77ce5e4ee1	change empty brackets for typeAssumptions to \emptyset symbol	2021-02-19 18:52:27 +01:00
ucrhh	eca2b2a668	changed string to not depend on language	2021-02-19 18:45:50 +01:00
ucrhh	383802bc59	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-19 18:38:19 +01:00
ucrhh	1f68eda42e	implement typeabstraction in LatexCreatorConstraints	2021-02-19 18:37:59 +01:00
Moritz Dieing	9f30e76484	English translation + inputFieldPlaceholder	2021-02-19 16:19:32 +01:00
Moritz Dieing	318d34216e	Open link in new tab	2021-02-19 15:28:17 +01:00
ucrhh	0ecb8be4b6	partially implement let type assumptions	2021-02-19 14:55:02 +01:00
ucrhh	70f8e64423	add translation strings	2021-02-19 14:11:26 +01:00
Moritz Dieing	9c38621c34	Some english strings + layout changes	2021-02-19 13:37:07 +01:00
Moritz Dieing	6fa165b602	Change slide texts	2021-02-19 12:42:46 +01:00
Moritz Dieing	9f8ab35ef1	JavaDoc for new class	2021-02-19 12:37:29 +01:00
Moritz Dieing	bd77f5a62b	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-19 12:31:31 +01:00
Moritz Dieing	ef81ef948f	German version of start page	2021-02-19 12:31:23 +01:00
ucrhh	47fd2afcc7	fix parantheses in LatexCreatorTerm	2021-02-19 00:51:52 +01:00
Johanna Stuber	4c502ff437	'English', 'Deutsch'	2021-02-18 17:47:50 +01:00
Moritz Dieing	cf97417299	German: forgot two hyphens	2021-02-17 19:40:51 +01:00
Arne Keller	b2a11617c1	English: less hyphens	2021-02-17 18:10:15 +01:00
Moritz Dieing	f362f7f56a	JavaDoc + move examples to bundle	2021-02-17 17:59:24 +01:00
Moritz Dieing	eb33ce11bf	Fix pipeline	2021-02-17 17:36:17 +01:00
Moritz Dieing	43af68812e	Save button for type assumptions	2021-02-17 17:29:04 +01:00
Moritz Dieing	13d935814d	Add hyphens	2021-02-17 17:10:29 +01:00
Arne Keller	a2b4a06e50	Fix share dialog size	2021-02-17 16:36:06 +01:00
Arne Keller	74cd76767a	Update translations + fix empty type assumption	2021-02-17 15:43:28 +01:00
Moritz Dieing	49c767bd0f	Add typeInfer button to helpDialog	2021-02-16 16:17:02 +01:00
Moritz Dieing	8c77bd62e5	English version of error strings	2021-02-16 15:23:53 +01:00
Moritz Dieing	cee2a964cc	Improved error message	2021-02-16 14:53:40 +01:00
Arne Keller	2bbba50ddc	Fix Typicalc link	2021-02-16 12:31:15 +01:00
Johanna Stuber	86226f896e	FunctionType::constrainEqualToFunction : swap types for newly created constraint -> less confusing	2021-02-15 16:54:21 +01:00
Johanna Stuber	bbf24cae78	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-15 16:42:56 +01:00
Johanna Stuber	8ca72a77e2	typos in operating help, add let example from Übungsblatt	2021-02-15 16:42:45 +01:00
ucrhh	32dd59ef28	fix test	2021-02-15 16:16:19 +01:00
ucrhh	00511cb4d3	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-15 16:14:30 +01:00
ucrhh	9539776e8e	remove most outer parentheses in a lambda term	2021-02-15 16:14:10 +01:00
Johanna Stuber	13c746a0b1	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-15 16:10:44 +01:00
Johanna Stuber	0fa1b09190	use SortedSet for quantifiedVariables in TypeAbstraction so instantiation is predictable	2021-02-15 16:07:59 +01:00
ucrhh	e12d09448b	remove bad tests	2021-02-15 16:07:43 +01:00
ucrhh	9894c13df6	remove solved todo	2021-02-15 15:59:08 +01:00
Johanna Stuber	a76b1b3c8d	add TypeInfererTest	2021-02-15 15:24:07 +01:00
Moritz Dieing	38c3a61882	Set height and accordion width	2021-02-14 13:57:05 +01:00
Arne Keller	0bb88280b8	Set size only for help dialog	2021-02-14 13:51:08 +01:00
Arne Keller	ed21276f46	Workaround for Vaadin weirdness	2021-02-14 13:13:09 +01:00
Moritz Dieing	b2209bcdaf	Set dialog width in java ... Css solution did not work when all accordion panels were closed	2021-02-14 12:05:46 +01:00
Arne Keller	5a9903e754	Move style to CSS files	2021-02-13 17:49:29 +01:00
Moritz Dieing	81b74bd92d	Use classic drawer toggle ... Use classic drawer toggle since its described in help content now.	2021-02-13 15:03:49 +01:00