Carlo Baldassi

This introduces a mode (activated with the option `let g:latex_to_unicode_smart_tab = 1`) in which the `` and `` keys can be used to navigate the menu suggestions produced by the...

Modules unreachable from Main in julia 0.7

6

I was testing #215 and noticed a difference between 0.6 and 0.7 which doesn't show up in the test files, and affects loading from within modules (and affects JLD2 too,...

Dependency on header files

7

On Linux/BSD, [GLPK.jl](https://github.com/JuliaOpt/GLPK.jl) builds libglpk from source, using an Autotool provider. The build requires the gmp.h headers. When Julia is installed from source, these are found in the Julia tree;...

BuildProcess providers on Windows?

4

I now have a working GLPK Windows installer in an experimental branch of GLPK.jl: https://github.com/carlobaldassi/GLPK.jl/blob/309ab10f566239f77acedb3d179b518ec741b14c/deps/build.jl However, I had to somehow force BinDeps to accept `BuildProcess` as a provider on Windows:...

Avoid spurious entries in jump list

3

This commit adds a few `keepjumps` annotations to some commands. This prevents polluting the jumplist with intermediate positions from the internal computations of the plugin, which in turn helps when...

Add version validation during resolve's graph analysis

5

This fixes #3878 by adding an extra step during graph simplification, which I'm calling "version validation". The validation consists in going through each version of each package (including the "uninstalled"...