|
analyze.rs
|
Renaming and refactoring
|
2023-03-19 22:39:19 +01: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 |