| bio | website | brillout.com |
|---|---|---|
| location | Germany | |
| age | ||
| visits | member for | 1 year, 7 months |
| seen | Aug 16 '12 at 14:35 | |
| stats | profile views | 12 |
|
Mar 17 |
awarded | Notable Question |
|
Aug 16 |
awarded | Popular Question |
|
Feb 15 |
accepted | Sequent Calculus |
|
Feb 14 |
revised |
Sequent Calculus edited tags |
|
Feb 14 |
comment |
Sequent Calculus looks like multicolumn would do the trick. A thing I see missing: how to draw the rules? (the rules are the letters in parentheses next to a line) |
|
Feb 14 |
comment |
Sequent Calculus nothing really, i'm quite a latex noob:). Tables sounds good, are nested tables possible? So a table in a table cell? |
|
Feb 14 |
asked | Sequent Calculus |
|
Dec 2 |
awarded | Scholar |
|
Dec 2 |
accepted | TikZ - multi-color double circle node |
|
Dec 2 |
awarded | Nice Question |
|
Dec 2 |
awarded | Supporter |
|
Dec 1 |
comment |
TikZ - multi-color double circle node i would like the stroke to have a different color and both circle having slightly different size, so version 3 would be the closest one. thanks for all the nice tikz snippets |
|
Dec 1 |
awarded | Student |
|
Dec 1 |
comment |
TikZ - multi-color double circle node thanks! could you re-edit to make the picture inline? i can't do it since i've <10 reputation |
|
Dec 1 |
revised |
TikZ - multi-color double circle node added 65 characters in body |
|
Dec 1 |
comment |
TikZ - multi-color double circle node thanks! is there a way to have a single \node[whatever] {content}? |
|
Dec 1 |
awarded | Editor |
|
Dec 1 |
revised |
TikZ - multi-color double circle node added 96 characters in body |
|
Dec 1 |
asked | TikZ - multi-color double circle node |