12 The command line programs

• 12.1 Ipe
• 12.2 Ipetoipe: converting Ipe file formats
• 12.3 Iperender: exporting to a bitmap, EPS, or SVG
• 12.4 Ipeextract: extract XML stream from Ipe file
• 12.5 Ipe6upgrade: convert Ipe 6 files to Ipe 7 file format
• 12.6 Ipescript: running Ipe scripts
• 12.7 Importing other formats