| .. |
|
citation
|
Update citeproc-rs to latest version
|
2021-06-18 19:33:18 +02:00 |
|
diagnostics
|
Show diagnostics in tex file instead of aux file
|
2021-11-05 20:05:13 +01:00 |
|
distro
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
features
|
Do not enforce a limit on the length of keys
|
2021-11-10 20:17:43 +01:00 |
|
syntax
|
Make directory path in \import optional
|
2022-01-21 18:00:46 +01:00 |
|
workspace
|
Always reload log files whenever they change
|
2021-11-06 15:29:07 +01:00 |
|
capabilities.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
citation.rs
|
Update citeproc-rs to latest version
|
2021-06-18 19:33:18 +02:00 |
|
client.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
component_db.rs
|
Compress component database
|
2021-06-18 19:33:22 +02:00 |
|
config.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
context.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
diagnostics.rs
|
Fix debouncing of diagnostics
|
2021-05-14 17:23:46 +02:00 |
|
dispatch.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
distro.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
features.rs
|
Prevent concurrent build requests
|
2021-06-12 14:18:29 +02:00 |
|
label.rs
|
Allow multi-word names in parser
|
2021-05-29 11:18:44 +02:00 |
|
lang_data.rs
|
Cleanup lang_data.json
|
2021-05-15 11:15:53 +02:00 |
|
language.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
lib.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
line_index.rs
|
Bump version to v3.1.0
|
2021-06-03 10:40:41 +02:00 |
|
line_index_ext.rs
|
Bump version to v3.1.0
|
2021-06-03 10:40:41 +02:00 |
|
main.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
options.rs
|
Prevent concurrent build requests
|
2021-06-12 14:18:29 +02:00 |
|
range.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
req_queue.rs
|
Refactor workspace implementation
|
2021-04-25 14:09:51 +02:00 |
|
server.rs
|
Fix compile warnings
|
2021-08-07 09:59:20 +02:00 |
|
syntax.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
|
uri.rs
|
Refactor workspace implementation
|
2021-04-25 14:09:51 +02:00 |
|
workspace.rs
|
Refactor feature API
|
2021-05-03 20:41:10 +02:00 |
