Alexander Bentkamp
|
60b09c81fe
|
diagnostics for simple infoview
|
2 years ago |
|
Alexander Bentkamp
|
e88dc0eb71
|
unify hints and messages
|
2 years ago |
Jon Eugster
|
17792e1a01
|
Add Support for lemma statement.
|
2 years ago |
|
Jon Eugster
|
649a5d2dfb
|
Add hints.
|
2 years ago |
|
Alexander Bentkamp
|
894d2708d8
|
add world parameter to router
|
2 years ago |
|
Alexander Bentkamp
|
957538dcb2
|
make sure that variables are only used once for messages
|
2 years ago |
|
Alexander Bentkamp
|
7df5758d69
|
match assumptions for messages
|
2 years ago |
|
Alexander Bentkamp
|
9f5fdbe35b
|
avoid unknown free variable error in messages
|
2 years ago |
|
Alexander Bentkamp
|
0a495984aa
|
check trigger for messages
|
2 years ago |
|
Alexander Bentkamp
|
854ac6ee55
|
display messages (displaying all of them immediately for now)
|
2 years ago |
|
Alexander Bentkamp
|
75c37bc8b7
|
always display initial goal
|
2 years ago |
|
Alexander Bentkamp
|
ef63f40531
|
custom goal display
|
2 years ago |