User jaam

4 votes

1 answer

3k views

Coq syntax highlighting

asked Jun 1, 2018 at 17:57

3 votes

2 answers

498 views

Clickable cross-references to deduction labels

asked Jun 12, 2016 at 14:52

3 votes

0 answers

4k views

Where is \noident defined? [closed]

asked Jun 15, 2016 at 20:55

2 votes

1 answer

2k views

Beamer: Center only a part of text

asked Sep 9, 2019 at 22:02

2 votes

2 answers

367 views

Starting columns in the middle of itemize environment

asked Apr 16, 2018 at 21:36

1 vote

1 answer

2k views

Beamer template: Command already defined

asked Nov 12, 2015 at 21:02

1 vote

1 answer

104 views

Beamer: Generating references w/ A4 page style

asked Sep 14, 2019 at 13:25

0 votes

1 answer

57 views

Using \include(only) to produce 2 pdf-s: text and references

asked Nov 18, 2019 at 3:14

0 votes

1 answer

432 views

Open an "embedded" picture by clicking on text

asked Mar 20, 2018 at 18:59

0 votes

2 answers

474 views

Beamer: make some slides inaccessible for usual navigation

asked Mar 25, 2018 at 13:46

Stack Exchange Network

10 Questions

Coq syntax highlighting

Clickable cross-references to deduction labels

Where is \noident defined? [closed]

Beamer: Center only a part of text

Starting columns in the middle of itemize environment

Beamer template: Command already defined

Beamer: Generating references w/ A4 page style

Using \include(only) to produce 2 pdf-s: text and references

Open an "embedded" picture by clicking on text

Beamer: make some slides inaccessible for usual navigation