2004-09-20から1日間の記事一覧

■

覚書

/usr/local/Isabell2003/bin/Isabell .thytheory ... = Main: C-c ; ;mode C-c C-u undo