/src/Pure/ProofGeneral/
drwxr-xr-x [up]
-rw-r--r-- 2008-01-21 14:18 +0100 1526 README
-rw-r--r-- 2008-01-21 14:18 +0100 585 ROOT.ML
-rw-r--r-- 2008-01-21 14:18 +0100 229 TODO
-rw-r--r-- 2008-01-21 14:18 +0100 419 pgip.ML
-rw-r--r-- 2008-01-21 14:18 +0100 9243 pgip_input.ML
-rw-r--r-- 2008-01-21 14:18 +0100 3506 pgip_isabelle.ML
-rw-r--r-- 2008-01-21 14:18 +0100 7266 pgip_markup.ML
-rw-r--r-- 2008-01-21 14:18 +0100 13211 pgip_output.ML
-rw-r--r-- 2008-01-21 14:18 +0100 3744 pgip_parser.ML
-rw-r--r-- 2008-01-21 14:18 +0100 4227 pgip_tests.ML
-rw-r--r-- 2008-01-21 14:18 +0100 15010 pgip_types.ML
-rw-r--r-- 2008-01-21 14:18 +0100 5347 pgml.ML
-rw-r--r-- 2008-01-21 14:18 +0100 520 pgml_isabelle.ML
-rw-r--r-- 2008-01-21 14:18 +0100 6614 preferences.ML
-rw-r--r-- 2008-01-21 14:18 +0100 9070 proof_general_emacs.ML
-rw-r--r-- 2008-01-21 14:18 +0100 203 proof_general_keywords.ML
-rw-r--r-- 2008-01-21 14:18 +0100 40671 proof_general_pgip.ML