xmldata/error_patterns__hint_pages.properties
author Walther Neuper <walther.neuper@jku.at>
Fri, 26 Mar 2021 10:45:05 +0100
changeset 5239 b4e3883d7b66
parent 4469 9164b7d4fc1d
permissions -rw-r--r--
reset mathematics-engine to Isabelle2015

note: for this version libisabelle was available,
which connects front-end (Java) and back-end (Isabelle/ML)
     1 #static dialog data of user 'x' creating 'short calculations'
     2 #WN070510
     3 KEY1_START_SPECIFY=VAL1_SKIP_SPECIFY_TO_START_SOLVE
     4 KEY2_NEXT_BUTTON=VAL2_FORMULAE_ONLY
     5 KEY3_STATUS=VAL3_LEARNER
     6 KEY4_LANGUAGE=VAL4_ENGLISH
     7 #KEStoreKey_chain-rule-diff-both="exp_IsacCore_CDi_chain"
     8 #HierarchyKey_chain-rule-diff-both="Examples,IsacCore,Calculus,Differentiation,Introduction,chained functions"