Glad you’re enjoying using ProofPower.

You could perhaps achieve something like the effect you are after with sieve as 
it is and a sieveview
file of your own devising. Say you wanted to organise your stuff into 3 
sections which appear
in the document in top-down order, but need to to appear in SML code in 
bottom-up order. Then
you could have three different categories for SML code:


and one view for LaTeX (tex, which would output the stuff in order) and three 
views for SML (say sml1, sml2 and sml3 which would only output only the 
category). Then you’d create your SML program by concatenating the output of 
runs of sieve. 

As Roger said, ProofPower is open source and you are very welcome to contribute 
you fancy enhancing xpp. However, it has grown out of a very simple idea I had 
a long time
ago and is now a bit of a monster.  You might like to look at Norman Ramsey’s 
which is more directly influenced by Knuth’s thinking 
https://www.cs.tufts.edu/~nr/noweb/ <https://www.cs.tufts.edu/~nr/noweb/>



> On 30 Jul 2015, at 20:11, David Topham <dtop...@ohlone.edu> wrote:
> I love using ProofPower!  Especially xpp has helped me to development 
> literate programs mixing Latex with SML, and C++, and even assembly language. 
> There is one thing missing that would be an improvement. The idea of literate 
> programming as presented by Donald Knuth is to allow the order of program 
> fragments be controlled. This means we could put more important or 
> interesting pieces of code first in the document and less important pieces 
> later.
> I don't see a way to rearrange pieces in xpp (sieveview) so far, but wonder 
> if there is some possibility. For example, could
> =DUMPMORE  prg.cpp
> have a parameter which represents an order? Maybe number them?
> =DUMPMORE 2 prg.cpp
> =DUMPMORE 1 prg.cpp
> would extract piece 1 before 2 in prg.cpp?
> -Dave
> _______________________________________________
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Proofpower mailing list

Reply via email to