Commit 9cc31c8e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* client/src/LtlApp.js: Missing | and & in help text for prefix syntax.

parent 8b59a581
Pipeline #20868 passed with stage
in 1 minute and 55 seconds
......@@ -2216,6 +2216,8 @@ class Help extends React.Component {
["true", <Ltl f="t" />],
["false", <Ltl f="f" />],
["not", <Ltl f="!" />],
["and", <Ltl f="&" />],
["or", <Ltl f="|" />],
["implication", <Ltl f="i" />],
["equivalence", <Ltl f="e" />],
["xor", <Ltl f="^" />],
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment