676 Commits

Author	SHA1	Message	Date
Robin	bbb0f7de38	Fixes exception thrown by last example ... Not the most beautiful fix, but it works...	2021-09-07 14:39:09 +02:00
Robin	78bb732541	Consistent spelling	2021-09-03 00:52:49 +02:00
Moritz Dieing	43d350665b	Entries in HelpDialog for new functionality	2021-08-31 21:16:36 +02:00
Arne Keller	c2ae5ca10e	Add new fuzzing target for latex creator ... FWIW this didn't find anything, we might need type assumptions..	2021-08-31 11:36:39 +02:00
Arne Keller	c7bb826b73	Improve performance of proof tree panning	2021-08-31 11:36:39 +02:00
Moritz Dieing	684327d63a	Consistent naming of css ids and classes	2021-08-31 10:56:03 +02:00
Arne Keller	5277feafcf	Button to toggle visibility of explanation texts	2021-08-30 16:14:51 +02:00
Arne Keller	978ccb034c	Fix typo in translation	2021-08-30 15:56:51 +02:00
Arne Keller	26b2bd9f00	Fix incorrectly disabled buttons ... If the last step is currently shown and the user switches to step 0, the next/last buttons have to be re-enabled.	2021-08-30 15:55:19 +02:00
Arne Keller	9ab7a876d6	Improve english translation ... closes #23	2021-08-30 14:25:17 +02:00
Arne Keller	84f9623b95	Fix checkstyle	2021-08-29 16:12:37 +02:00
Arne Keller	29d692c231	Optimize unification view	2021-08-29 15:58:51 +02:00
Arne Keller	520960fea1	Improve display of unification errors	2021-08-29 15:43:02 +02:00
Arne Keller	6bae4a3b01	Fix incorrect latex code on let term	2021-08-29 15:32:49 +02:00
Arne Keller	5d4d8cd828	Switch to step when clicking on explainer ... fixes #27	2021-08-29 08:53:22 +02:00
Arne Keller	8b1371ce08	Hovering in the unification area ... fixes #25	2021-08-29 08:32:15 +02:00
Moritz Dieing	4d0e0fea3e	Small bugfix	2021-08-25 14:02:54 +02:00
Moritz Dieing	d9572665df	Explanation texts english	2021-08-25 14:02:26 +02:00
Arne Keller	4d5d3b8636	Refactor unification view to be dynamically sized ... see #24	2021-08-24 16:33:57 +02:00
uogau	04c7f6ab37	"Fix" Checkstyle, this time for real...	2021-08-24 13:47:00 +02:00
uogau	79d6c88b1f	"Fix" Checkstyle	2021-08-24 13:37:35 +02:00
uogau	526ed46c67	Added copy buttons to share dialog	2021-08-24 13:32:32 +02:00
Arne Keller	0b5016da4f	Refactor explanation texts	2021-08-21 17:44:49 +02:00
Arne Keller	c190289f6f	Show better error message on 's∀' ... see #15	2021-08-21 16:50:37 +02:00
Arne Keller	b558d3cbf5	Fix unification test	2021-08-21 16:45:05 +02:00
Moritz Dieing	d721fb1c33	Bug fixes and text changes	2021-08-18 14:28:19 +02:00
Moritz Dieing	8cc089e543	Refractor unification explanation	2021-08-18 10:16:26 +02:00
Arne Keller	7abfd66aa8	Fix some bugs of the unification explanation ... see #20	2021-08-16 09:50:43 +02:00
Moritz Dieing	208c21277b	Add unification texts to bundle	2021-08-15 20:10:10 +02:00
Arne Keller	f6ccf64788	Basic explanation text UI	2021-08-10 14:42:50 +02:00
Arne Keller	90833c37b5	Fix tooltips in case of failed let inference	2021-08-10 11:46:46 +02:00
uogau	60ee1583fd	Fixed Checkstyle	2021-08-09 18:13:07 +02:00
uogau	760de925f9	added new attributes to equals() and hashCode()	2021-08-09 18:10:47 +02:00
uogau	9797d13041	Improved documentation for parser and improved error messages ... see #15	2021-08-09 18:05:45 +02:00
Moritz Dieing	c3deae0bcc	Add tree texts to bundle (only german)	2021-08-09 13:02:32 +02:00
Moritz Dieing	6968a4b5f2	Add structure for unification texts	2021-08-09 13:02:01 +02:00
Arne Keller	69479a6368	Fix Var and Const definitions and tooltips	2021-08-08 18:28:22 +02:00
Arne Keller	a7a587a769	Add text to buttons	2021-08-08 17:23:40 +02:00
Arne Keller	e6d00f4561	Suggest end of input in some error messages ... see #15	2021-08-08 17:16:16 +02:00
Robin	2817d9009f	Merge remote-tracking branch 'origin/master'	2021-07-31 17:55:11 +02:00
Robin	0e925d1294	Rewrote TypeAssumptionParser for easier error handling	2021-07-31 17:54:56 +02:00
Arne Keller	eff5e4340e	Instantiate types in all tooltips ... see #18	2021-07-26 10:40:40 +02:00
Arne Keller	19ec6cbc1a	Increase ID of let inferred type variables ... fixes #17	2021-07-26 10:06:56 +02:00
Moritz Dieing	c6d80d9324	Implement structure for explanation texts	2021-07-24 11:38:24 +02:00
Arne Keller	6403daad8d	Fix checkstyle	2021-07-20 16:37:59 +02:00
Arne Keller	8c9f2ab67c	Instantiate abs step ... see #18	2021-07-20 15:02:29 +02:00
Arne Keller	2e2b39c13b	Show constraint in tooltip ... part of #18	2021-07-20 09:35:39 +02:00
Arne Keller	ed7ce73679	Friendly error message for "λx.x in x"	2021-07-19 11:24:57 +02:00
Arne Keller	35013bd819	Show correct tooltips for polymorphic steps ... fixes #16	2021-07-19 11:21:54 +02:00
Arne Keller	08085ad44d	Fix parse error for "s:()" ... see #15	2021-07-19 11:13:10 +02:00