Frédéric Bour
Frédéric Bour
When starting the process with `texpresso foo.tex`, `foo.tex` should already exist. This is understandable when used as a standalone viewer, but not ideal when remote controlled from an editor: the...
Our PDF graphics interpreter only handles basic primitives. TikZ/PGF (and hence beamer) often uses shading. The difficulty with this is that is it not done using new instructions (that we...
This is a continuation of #52 that implements horizontal panning (using left/right arrows to scroll through a page before changing). Other ideas (discussed in the previous PR): - support two...
This PR was inspired by https://github.com/DominikPeters/texpresso-vscode/issues/1. TeXpresso now emits an input-file message when a file is being read: - sexp: `(input-file 123 "foo.tex")` - json: `["input-file", 123, "foo.tex"]` The integer...
This patch is incomplete, I just open the pull request to start discussions. It introduces a new item, in signature and structures: ``` ocaml implicit Some.Module implicit Some.Functor(_) ``` such...
Hi, I am preparing for a first alpha release of LRgrep. The breaking changes are not happening in master for the moment but in three separate branches: - [enumerate](https://github.com/let-def/lrgrep/tree/enumerate) which...
The following patch propagates types to arguments of an application prior to typechecking them. The testsuite succeeds: the failures reported are due to slightly different inferred signatures and error messages,...
This pull request adds a new `bundle serve` command, an interactive version of `bundle cat`. It allows querying the contents of multiple files without spawning a new process each time....
This PR refactors the streaming API to grant users finer control over HTTP transfers, particularly for long-running cases. Key changes include: - Early access to response metadata by exposes HTTP...
Captures are only allowed on atoms. In other words: > A disjunction is not allowed under a capture: > `x = (X | Y)` > but the following is allowed:...