TeX, LaTeX and Friends

1:33 AM

@cfr ahah I thought about justtrees and your answer is not that unexpected. :P

Did you develop it?

2:03 AM

@Alenanno Yes. But I wouldn't put it in the past tense. It's a simplified version of prooftrees which does something similar. I hope to release them but I'm wanting the new version of forest to be released first because that is going to break my current code.

@Alenanno I am actively looking for questions to test it on and people to test it, because I don't really know what I'm doing and I've never tried to do anything like this before. (Font packages are much easier.)

Alenanno

2:22 AM

@cfr if you tell me how, I can test it a bit for you. But I don't know how lol actually, I'd love to develop a package, but all the stuff I might like has already been done :(

cfr

2:41 AM

@Alenanno No itches at all?

Here's the code:

%% Copyright 2015 Clea F. Rees
%
% This work may be distributed and/or modified under the
% conditions of the LaTeX Project Public License, either version 1.3
% of this license or (at your option) any later version.
% The latest version of this license is in
%   latex-project.org/lppl.txt
% and version 1.3 or later is part of all distributions of LaTeX
% version 2005/12/01 or later.
%
% This work has the LPPL maintenance status `maintained'.
%
% The Current Maintainer of this work is Clea F. Rees.

The environment is

\begin{justtree}
  {% preamble, if any goes here (may be empty)
  }% tree specification
\end{justtree}

Within the tree, left just=<whatever> and right just=<whatever> specify left and right labels. just=<whatever> sets one or other, depending on state. Usually, it sets a right label. If you pass left justifications in the preamble, as I did, it will default to left labels instead. If you want labels on both sides, you should generally use left just or right just.

If you want the labels typeset in some special font or style, you can use just format=<style specifications>. If you want this for all labels, you can say for tree={just format=<whatever>} in the preamble.

That's really it. Pretty basic.

@Alenanno ^^

Thanks for volunteering!

In case you want to test prooftrees as well ;):

%% Copyright 2015 Clea F. Rees
%
% This work may be distributed and/or modified under the
% conditions of the LaTeX Project Public License, either version 1.3
% of this license or (at your option) any later version.
% The latest version of this license is in
%   latex-project.org/lppl.txt
% and version 1.3 or later is part of all distributions of LaTeX
% version 2005/12/01 or later.
%
% This work has the LPPL maintenance status `maintained'.
%
% The Current Maintainer of this work is Clea F. Rees.

However, prooftrees.sty really is pretty special purpose, I think. It is not designed to be especially flexible although there are some options based on the different ways people set proof trees. But it will not lend itself to non-logical-proof-tree uses very readily or very often.

@Alenanno So unless you're a logician, you may want to stick to being a justtrees guinea pig ;).

Alenanno

2:59 AM

Oh cool

I'll read better tomorrow since now it's night lol

Nice chatting with you

I'll get back to you tomorrow

cfr

4:17 AM

@Alenanno I didn't mean to post that here. I meant to post it in the other room. Damn, I'm simply twp when it comes to chat. (A term which @PauloCereda unaccountably missed out.)

Johannes_B

7:57 AM

@JosephWright Seems i have a friend around. After day change, i get five to eight upvotes on my answers quickly. Happening for 4 days or so now. Nothing reversed so far.