720 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Arne Keller	fecb53f9ca	Shrink button width	2021-02-25 10:40:01 +01:00
Johanna Stuber	862fc87393	OnlyConclusionStepTest	2021-02-24 22:47:37 +01:00
Johanna Stuber	36e763ce6d	fix bug with failing let sub-inference	2021-02-24 22:12:06 +01:00
Moritz Dieing	0c1cdfa118	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-21 11:49:54 +01:00
Moritz Dieing	c554f5e9f3	Update ErrorNotification	2021-02-21 11:49:46 +01:00
Johanna Stuber	fd8638164f	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-21 11:38:49 +01:00
Johanna Stuber	1e31c19db5	package-info for util, presenter; adjust Javadoc TypeInfererLet	2021-02-21 11:38:29 +01:00
Arne Keller	d09345259a	Small style adjustments	2021-02-21 10:34:09 +01:00
Arne Keller	1dc5f861c3	Fix parser issue	2021-02-21 10:32:34 +01:00
Johanna Stuber	c115baa4d4	merge	2021-02-20 21:16:27 +01:00
Johanna Stuber	56185806d7	addition to ass grammar, unification error strings	2021-02-20 21:14:40 +01:00
ucrhh	44ad536446	add heading to share dialog	2021-02-20 15:34:32 +01:00
Arne Keller	27aff112bb	TypeAssumptionParser tests	2021-02-20 09:06:14 +01:00
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