Moritz Dieing
|
54e0777eab
|
Content for info dialog
|
2021-02-05 18:48:13 +01:00 |
|
Arne Keller
|
5f2454f2d1
|
TypeAssumptionsArea class skeleton
|
2021-02-05 18:14:12 +01:00 |
|
Arne Keller
|
c78d6b9e0a
|
Fix code style issues
|
2021-02-05 17:22:43 +01:00 |
|
Arne Keller
|
a7f1556fe6
|
Fix misc. UI issues
|
2021-02-05 17:02:08 +01:00 |
|
ucrhh
|
927650f475
|
add url to share dialog
|
2021-02-05 15:01:06 +01:00 |
|
ucrhh
|
4857bd83d7
|
add translations to shareDialog
|
2021-02-05 13:51:42 +01:00 |
|
ucrhh
|
bd72c1e337
|
implement shareDialog without URL
|
2021-02-05 13:31:04 +01:00 |
|
Johanna Stuber
|
e0926d87b7
|
fix lambda parser test
|
2021-02-05 11:37:45 +01:00 |
|
Johanna Stuber
|
8d6842043d
|
only allow ascii characters in variable names
|
2021-02-05 11:27:36 +01:00 |
|
Johanna Stuber
|
2df0107243
|
make inference rule appearance consistent with tree appearance
|
2021-02-05 10:28:06 +01:00 |
|
Arne Keller
|
7494407480
|
Set SameSite=Strict on cookies
|
2021-02-04 22:11:21 +01:00 |
|
Johanna Stuber
|
af985f6e86
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 22:07:00 +01:00 |
|
Johanna Stuber
|
45b3e9fca1
|
Add missing \ in translation_en const rule
|
2021-02-04 22:06:47 +01:00 |
|
Arne Keller
|
87fb6a1ef8
|
Fix checkstyle issue
|
2021-02-04 21:18:22 +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 |
|
Johanna Stuber
|
218b8216f4
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 20:54:10 +01:00 |
|
Johanna Stuber
|
742f934788
|
user input types of form t[0-9]+ parse to TypeVariable, everything else to NamedType
|
2021-02-04 20:54:00 +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
|
316d3ff7cf
|
VarStepWithLet latex rendering split into 2 lines
|
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 |
|
Moritz Dieing
|
e57907c251
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 20:09:35 +01:00 |
|
Moritz Dieing
|
cab1e74490
|
Add language select
|
2021-02-04 20:09:28 +01:00 |
|
Moritz Dieing
|
a4659f8386
|
Extend language files
|
2021-02-04 20:09:09 +01:00 |
|
Johanna Stuber
|
2ccf09da5f
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 19:36:51 +01:00 |
|
Johanna Stuber
|
ee18a3cba1
|
Generate steps withLet in every sub-inference of let terms
|
2021-02-04 19:31:06 +01:00 |
|
ucrhh
|
194cbff28d
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 16:51:07 +01:00 |
|
ucrhh
|
acdc005ed7
|
limie SVG hacks to proof tree
|
2021-02-04 16:50:54 +01:00 |
|
Johanna Stuber
|
5c9f916a6c
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 16:50:46 +01:00 |
|
Johanna Stuber
|
49ee20baaa
|
if mgu has no substitution for alpha1, final type is alpha1
|
2021-02-04 16:50:36 +01:00 |
|
ucrhh
|
bb300e292c
|
implement mgu generation in LatexCreator
|
2021-02-04 15:31:30 +01:00 |
|
Moritz Dieing
|
886ea78869
|
Focus inputBar after selecting an example
|
2021-02-04 13:24:46 +01:00 |
|
Moritz Dieing
|
c10074b4f7
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 13:21:37 +01:00 |
|
Moritz Dieing
|
dc257e4b32
|
JavaDoc for new methods in view
|
2021-02-04 13:21:29 +01:00 |
|
Johanna Stuber
|
ee41f42249
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 13:16:21 +01:00 |
|
Johanna Stuber
|
a0e3eb34a2
|
LatexCreator for let and const
|
2021-02-04 13:16:09 +01:00 |
|
Moritz Dieing
|
b4499c6889
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 12:58:16 +01:00 |
|
Moritz Dieing
|
8da5bf36a5
|
Immediately parse backslash to lambda
|
2021-02-04 12:58:09 +01:00 |
|
ucrhh
|
8885b8a059
|
implement constraint generation
|
2021-02-04 12:47:09 +01:00 |
|
Johanna Stuber
|
8dc7fbe725
|
implement let in TypeInferers
|
2021-02-04 11:41:08 +01:00 |
|
ucrhh
|
fd00b47928
|
change substitution sign to another arrow
|
2021-02-04 10:58:09 +01:00 |
|
ucrhh
|
1564c772d5
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 10:49:19 +01:00 |
|
ucrhh
|
46dae40e74
|
implement typeAssumptions in LatexCreator
|
2021-02-04 10:49:03 +01:00 |
|
Johanna Stuber
|
e4e4fca350
|
fix compiling errors after changing TypeAbstrarction's quantifiedVariables from list to set
|
2021-02-04 10:25:19 +01:00 |
|
Johanna Stuber
|
a80d1f9059
|
Additional TypeAbstraction constructor, for that implement getFreeTypeVariables() on types
|
2021-02-04 10:17:54 +01:00 |
|
Johanna Stuber
|
c3d5d9147c
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 09:27:56 +01:00 |
|
Johanna Stuber
|
29ca293fce
|
better handling of optionals
|
2021-02-04 09:27:46 +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 |
|