737 reputation
513
bio website
location Orléans, France
age 22
visits member for 2 years, 11 months
seen Sep 18 at 13:16

5th year student in Mathematics, 4th year in Linguistics, avid user of LuaLaTeX and bleeding edge innovations.

Moderator pro tempore on French Language and Usage.


Jul
10
comment PDF bookmarks for thmtools' theorems
So our answers are essentially the same :) let's keep it that way.
Jul
10
revised PDF bookmarks for thmtools' theorems
added 312 characters in body
Jul
10
comment PDF bookmarks for thmtools' theorems
There seem to be no need to define \theoremname, you can use \thmt@thmname for that.
Jul
10
revised PDF bookmarks for thmtools' theorems
deleted 62 characters in body
Jul
10
accepted PDF bookmarks for thmtools' theorems
Jul
10
answered PDF bookmarks for thmtools' theorems
Jul
10
revised PDF bookmarks for thmtools' theorems
added 1 characters in body
Jul
10
revised PDF bookmarks for thmtools' theorems
added 507 characters in body
Jul
10
revised PDF bookmarks for thmtools' theorems
edited title
Jul
10
asked PDF bookmarks for thmtools' theorems
Jun
11
suggested suggested edit on How do I use pgfmathdeclarefunction to create define a new pgf function?
May
15
comment Is there a way to use different local font files for different font size in fontspec?
@Hebert Well, that's precisely what I did. And if I try to add Path=… in the {Size } blocks, I get The key 'fontspec/Path' is unknown and is being ignored.
May
15
comment Is there a way to use different local font files for different font size in fontspec?
@Herbert I know, but I need to be able to distribute the project to people who might not have EBGaramond installed or not the same version So I need to use a local fonts/ directory
May
14
awarded  Commentator
May
14
comment Can not get bibliography working in Kile
Could you provide more details on the errors messages you get from BibTeX?
May
14
comment Is there a way to use different local font files for different font size in fontspec?
@Herbert Actually using local font files instead of system fonts seems to break the SizeFeatures option. Or vice-versa.
May
14
revised Is there a way to use different local font files for different font size in fontspec?
added 1285 characters in body; edited title
May
14
asked Is there a way to use different local font files for different font size in fontspec?
May
14
answered Special character “dot over dash”
May
14
awarded  Necromancer