Well, wherever your history log is stored, just use echo "whateverthehistoryis" > "XXX.txt"

Or find the history log and copy and paste the file into a new directory.