1. eclipse：
http://www.eclipse.org/tptp/home/downloads/installguide/gla_42/ref/rregexp.html
(在eclipse中查找和替换时会用到)
2. notepad++
- // - Backslash character;
- /t – TAB character;
- /r – CR character;
- /n – LF character;
- /0 – NULL character;
- /x## - Hexadecimal value (between 00 and FF);
- /u#### - Extended hexadecimal value (between 0000 and FFFF, meant for Unicode characters);
- /d### - Decimal value (between 000 and 255);
- /o### - Octal value (between 000 and 377);
- /b######## - Binary value (between 00000000 and 11111111).