Marek Barvíř 213f31c5d7

Fix basic lints (cargo clippy) (#383)

2023-03-28 09:38:01 +02:00

..

analyze.rs

Renaming and refactoring

2023-03-19 22:39:19 +01:00

complete.rs

Fix basic lints (cargo clippy) (#383)

2023-03-28 09:38:01 +02:00

highlight.rs

Rename formula to equation

2023-03-18 19:27:31 +01:00

jump.rs

Fix crash for jump to outdated span

2023-03-21 12:55:39 +01:00

mod.rs

Bibliography and citations

2023-03-14 22:53:54 +01:00

tooltip.rs

Fix basic lints (cargo clippy) (#383)

2023-03-28 09:38:01 +02:00