Jon Eugster
|
5b86327d01
|
locked items on welcome clickable
|
3 years ago |
|
Jon Eugster
|
c0b7b7a048
|
make disabled tactics clickable
|
3 years ago |
|
Jon Eugster
|
e339f00e21
|
overlay inventory with doc
|
3 years ago |
|
Jon Eugster
|
fd3a543dcd
|
css colour change
|
3 years ago |
|
Jon Eugster
|
ebcc1df171
|
add syntax for attr in statements; add new key to computed inventory items.
|
3 years ago |
|
Jon Eugster
|
3cbe336ccb
|
add command LemmaTab to specify default tab when loading level
|
3 years ago |
Alexander Bentkamp
|
5dfa7b56ec
|
doc panel
|
3 years ago |
|
Alexander Bentkamp
|
a783e1dffc
|
Add tabs for lemmas #23
|
3 years ago |
|
Alexander Bentkamp
|
84ce05a548
|
more styling
|
3 years ago |
|
Alexander Bentkamp
|
116026428f
|
show lemma and tactic docs
|
3 years ago |
|
Alexander Bentkamp
|
6e8a47b1a7
|
lemma inventory
|
3 years ago |
|
Alexander Bentkamp
|
c628d0eec4
|
new tactic display
|
3 years ago |
|
Alexander Bentkamp
|
e264f11d60
|
inventory experiment
|
3 years ago |