60 Commits

Author	SHA1	Message	Date
Arne Keller	ba8d221a42	Tooltip on entire plus button	2021-03-12 10:59:50 +01:00
Arne Keller	d68d0abd2b	Codestyle	2021-03-11 15:07:47 +01:00
Arne Keller	1dab9a3996	Zoom control tooltips	2021-03-11 14:56:10 +01:00
Arne Keller	ce01676a42	Convert frontend scripts to TypeScript	2021-03-10 18:39:41 +01:00
Arne Keller	a43dad53a6	Optimize frontend calls	2021-03-10 18:04:32 +01:00
Arne Keller	93d95e447c	Don't scroll page when using key shortcuts	2021-03-10 16:07:52 +01:00
Arne Keller	92296a8373	Limit initial SVG zoom + move zoom controls to upper left	2021-03-09 14:55:34 +01:00
Arne Keller	081e3e188b	Fix touch interaction with proof tree	2021-03-08 12:42:32 +01:00
Arne Keller	c5d146a137	Move styling into CSS	2021-03-07 20:24:57 +01:00
Moritz Dieing	e06041bfcb	Autoselect for ShareDialog	2021-03-07 13:03:35 +01:00
Moritz Dieing	24feec3bc4	Better replacement of type variables	2021-03-07 12:44:52 +01:00
Arne Keller	c22c125b7b	Activate shortcuts only if possible	2021-03-07 11:15:37 +01:00
Arne Keller	9363533e6a	Focus input field on / press	2021-03-05 08:52:08 +01:00
Arne Keller	37f5b64518	Fix scope of key shortcuts	2021-03-04 23:16:08 +01:00
Moritz Dieing	b1fb1d8ef5	Better type in type assumptions	2021-03-03 19:53:39 +01:00
Arne Keller	3a20b338ff	Optimize MathJax layout algorithm	2021-02-27 21:28:17 +01:00
ucrhh	0e1c596702	remove spacing around scrollbar	2021-02-13 10:24:48 +01:00
Arne Keller	ecd92c9369	Fix error coloring and translation	2021-02-12 15:29:49 +01:00
ucrhh	1cc94a3125	constraints dont disappear during unification	2021-02-11 20:05:26 +01:00
ucrhh	cfc25ed81f	fix little inconsistency	2021-02-11 14:54:09 +01:00
ucrhh	9a12342c27	disable context menu again	2021-02-11 09:30:53 +01:00
ucrhh	e9b80794b6	move LatexCreator classes into one package	2021-02-11 08:55:16 +01:00
Moritz Dieing	cbd6144ada	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-10 17:27:08 +01:00
Moritz Dieing	2ba52fbae0	Fix lambda button insertion	2021-02-10 17:27:05 +01:00
Arne Keller	d5b6cdc854	Clean up TypeScript code	2021-02-10 16:46:34 +01:00
Arne Keller	f1fe6fce02	Highlight erroring constraint	2021-02-10 14:48:02 +01:00
Arne Keller	7c11df9058	Fix conclusion placement	2021-02-10 10:33:01 +01:00
Arne Keller	3e153dc0d3	Fix checkstyle issue	2021-02-10 08:24:31 +01:00
Arne Keller	54da12a132	Fix tree layout on failed let	2021-02-10 08:08:46 +01:00
Arne Keller	a25bdfe3dd	More javadocs + Vaadin routing fixes	2021-02-06 15:57:53 +01:00
ucrhh	b5f114303f	removed mjx context menu	2021-02-06 11:50:17 +01:00
Arne Keller	d3fd5b99a8	Set page title to lambda term	2021-02-06 10:57:35 +01:00
Arne Keller	843430439d	Fix layout of upper bar	2021-02-06 10:42:02 +01:00
Arne Keller	2b0657cdfc	Fix MathJax line length + big example	2021-02-05 19:13:03 +01:00
Arne Keller	a7f1556fe6	Fix misc. UI issues	2021-02-05 17:02:08 +01:00
Arne Keller	e1a90b3923	Final var step: show premise in second step	2021-02-04 21:17:03 +01:00
Arne Keller	bdabb010b0	LatexCreator unification error display (incomplete)	2021-02-04 21:03:04 +01:00
Arne Keller	ab0241e009	Proof tree: check step array index	2021-02-04 20:45:51 +01:00
Arne Keller	2b69a160a3	MathJax: move elements to start of line	2021-02-04 20:30:11 +01:00
Arne Keller	b72f6d01e3	First inference step just displays result	2021-02-04 20:30:11 +01:00
ucrhh	acdc005ed7	limie SVG hacks to proof tree	2021-02-04 16:50:54 +01:00
ucrhh	fd00b47928	change substitution sign to another arrow	2021-02-04 10:58:09 +01:00
Arne Keller	84a9a3c5a4	Display premises always, space between premises	2021-02-03 21:43:40 +01:00
Arne Keller	2930a274ed	Limit SVG hacks to proof tree and unification	2021-02-03 16:28:35 +01:00
Arne Keller	0cb09b92ec	Increase size of SVG to 100%	2021-02-03 15:10:51 +01:00
Arne Keller	9d4e225d16	Code style fixes	2021-02-02 10:55:46 +01:00
Arne Keller	301069fe6c	Fix MathJax layout	2021-02-01 19:37:56 +01:00
Arne Keller	10cd63abb4	Panning and zooming of inference tree	2021-02-01 16:19:13 +01:00
ucrhh	1a5625b6ad	make TypeInferenceView reload safe	2021-01-31 13:33:33 +01:00
ucrhh	a24ae6d98e	fix Mathjax bug where content would sometimes not render at all	2021-01-30 23:19:53 +01:00