Prof Howell and Schmidt, Here is the results of my first bit of tweaking of the ndpc code base. New features * Export to image (png, jpeg, bmp) * Print Printing is currently quite crude. It simply grabs the component used to display the proof editor, scales it, and outputs to the printer. Image export is actually a bit handier and it's what I've been using this semester for my assignments. Sorry I didn't get this done earlier in the semester, it came down to it worked well enough for me to use but not well enough for public consumption and I was too short on time to give it that extra bit of polish prior to this weekend. A few things to note. * I did not update revision #s, label my changes, etc. * It looks like at some point I must have told eclipse to format the layout of the source If either of these are an issue I do have ndpc committed to my personal svn repository at home so I can probably correct either issue if necessary. Things I'd still like to see the tool do * Print be replaced with a component that generates custom formatted output. Output would include the validity of the proof. * Toolbar entries for print - I didn't know the source of the current icons and wanted to stay consistent so didn't add. * Multi-proof support - I'd like to have a listbox on the side that allowed me to add and label proofs so that I could do all of one of our assignments in a single file. The enhanced print I spoke of would take advantage of this. * Partial proofs - Flaging valid lines in the in UI in some manner so we can see as we go how well it's working out. Other thoughts * Should export to latex and export to image all be under one export option? I go either way on this. Anyway, next semester I will not be enrolled in any CIS courses and so wouldn't mind spending some time enhancing this tool if it is going to continue to be useful in CIS301. I imagine all but the partial proofs shouldn't be too difficult to add, I have not studied the internals enough to know how much effort in that latter one. Please let me know if you'd be interested in any of the above changes, or other changes for that matter, and I'll see what I can do. Take Care, James = -- James Thompson Application Services Administrator Office of Mediated Education, Kansas State University KFC 146, (785) 532-4242