12-14-2008
Isn't my answer a "briefly list of steps" ?
What would you have suggested instead ?
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
Hi Does someone know how Unix or Linux implement
'diff' command ? Any good reference or the
algorithm will be better ?
Thanks (3 Replies)
Discussion started by: harrylong
3 Replies
2. UNIX for Advanced & Expert Users
how can i use a rlogin with out entered a password,
someone tell me about configure the next files
/.rhosts
/etc/hosts.equiv and /etc/hosts
but i not sure about that, or there are not enough
could you tell me how to do that? (3 Replies)
Discussion started by: jav_v
3 Replies
3. Programming
1 . How does va_arg implemented by system? (2 Replies)
Discussion started by: chenhao_no1
2 Replies
4. AIX
anyone can help me how to implement the timer on AIX?
I tried with 'setitimer' and its related functions, but it does not work correctly,the program exited each time.
thanks (2 Replies)
Discussion started by: Frank2004
2 Replies
5. Shell Programming and Scripting
Hi all,
could any of you please help me on my problem..
we are doing FTP (one report out put) from one server to another server through unix shell script program.
Due to the network issues, some times FTP process is hanging.
So we planned to modify the existing program with the following... (2 Replies)
Discussion started by: kishore_jasthi
2 Replies
6. Shell Programming and Scripting
Hi All,
My requirement is if the record is starting with 0, then do some processing.
if starting with 1, some processing
else (not with 0 or 1 ) then do some other processing.
i tried the following
case "$test" in
/^0/) echo "starting with zero ;;
/^1/) echo " with one" ;;
*) echo... (2 Replies)
Discussion started by: ssunda6
2 Replies
7. Shell Programming and Scripting
Hi All,
My requirement is if the record is starting with 0, then do some processing.
if starting with 1, some processing
else (not with 0 or 1 ) then do some other processing.
i tried the following
case "$test" in
/^0/) echo "starting with zero ;;
/^1/) echo " with one" ;;
*) echo... (3 Replies)
Discussion started by: ssunda6
3 Replies
8. Shell Programming and Scripting
Hi all, i'm quite new in the UNIX world. So maybe i'm going to ask simple questions but they are unsolvable for me...
I'm trying to implement the 'more' function or kinda of that, for improving my knowledges. But I encountered some problems that i hope u will help me to solve.
The code i... (0 Replies)
Discussion started by: Cellofan
0 Replies
9. Shell Programming and Scripting
hi
i have a file like
1,"A","B"
2,"C","D"
1,"E","F"
3,"G","H"
in output i need like
3,"G","H"
1,"E","F"
2,"C","D"
1,"A","B" (12 Replies)
Discussion started by: angel12345
12 Replies
10. Shell Programming and Scripting
hi,
i am having three files which is having following data
file1:
field1 field2 field3
1 A B
2 C D
3 E F
file2:
4 G H
1 I J
5 K L
file3:
4 M N (3 Replies)
Discussion started by: angel12345
3 Replies
LEARN ABOUT DEBIAN
prooftrans
PROOFTRANS(1) General Commands Manual PROOFTRANS(1)
NAME
prooftrans - tool for transforming Prover9 proofs
SYNOPSIS
prooftrans [parents_only] [expand] [renumber] [striplabels] [-f file]
prooftrans xml [expand] [renumber] [striplabels] [-f file]
prooftrans ivy [renumber] [-f file]
prooftrans hints [-label label] [expand] [striplabels] [-f file]
prooftrans tagged [-f file]
DESCRIPTION
This manual page documents briefly the prooftrans command.
prooftrans can extract proofs from prover9(1) output files and transform them in various ways.
OPTIONS
A summary of options is included below.
renumber
Renumber steps.
parents_only
Simplify justifications by listing only parents.
expand Expand all steps, turning secondary justifications into explicit steps.
xml Produce proofs in XML.
ivy Produce proofs for checking by the IVY proof checker.
hints Produce hints for guiding subsequent searches.
tagged Produce proofs in a structured tagged format.
-label label
Attach label attributes to the hint clauses consisting of the string label and a sequence number generated by prooftrans.
-f file
Take input from file instead of from standard input.
SEE ALSO
prover9(1).
Full documentation for prooftrans is found in the prover9 manual, available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
AUTHOR
prooftrans was written by William McCune <mccune@cs.unm.edu>
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).
January 20, 2007 PROOFTRANS(1)