[ProofPower] PP on windows

[Gregg Reynolds]

C Y wrote:
> --- Gregg Reynolds <dev at arabink.com> wrote:
> 
>> A simple example:  if
>> I'm working with an lp text that contains TeX, C code, shell
>> code, etc. then all of the language-specific intelligence 
>> built into my editor - modes in the case of emacs - are pretty
>> useless. 
> 
> Maybe the emacs noweb mode could help with this?
> 

Hi C Y,

Thanks for the tip, I'll look into it.  But even if noweb is helpful, we
still have a problem: what happens if we want to LP in a language that
has an emacs mode, but is unsupported by noweb mode?  And even if it is
supported, will we have to learn a new set of commands and key bindings?

Divide and conquer, keep it simple.  It's the Unix Way, after all. ;)

-gregg