Arne Keller 2e2b39c13b Show constraint in tooltip ... part of #18		2021-07-20 09:35:39 +02:00
..
copy-to-clipboard.ts	Convert frontend scripts to TypeScript	2021-03-10 18:39:41 +01:00
hammer.min.js	Fix touch interaction with proof tree	2021-03-08 12:42:32 +01:00
input-bar-enhancements.ts	Exchange TypeAssumption-Dialog with Textfield	2021-06-18 13:34:26 +02:00
key-shortcuts.ts	Fix key shortcut to select input field	2021-07-05 09:00:22 +02:00
mathjax-adapter.ts	Show constraint in tooltip	2021-07-20 09:35:39 +02:00
mathjax-display.ts	Show constraint in tooltip	2021-07-20 09:35:39 +02:00
mathjax-proof-tree.ts	Show constraint in tooltip	2021-07-20 09:35:39 +02:00
mathjax-setup.js	Show constraint in tooltip	2021-07-20 09:35:39 +02:00
mathjax-unification.ts	Show constraint in tooltip	2021-07-20 09:35:39 +02:00
share-dialog-autoselect.ts	Convert frontend scripts to TypeScript	2021-03-10 18:39:41 +01:00
svg-pan-zoom.min.js	Highlight new constraint on step hover	2021-07-12 11:41:12 +02:00
tex-svg-full.js	More javadocs + Vaadin routing fixes	2021-02-06 15:57:53 +01:00
type-input-listener.ts	Optimise type assumption syntax	2021-07-02 14:47:25 +02:00