/src/Pure/ProofGeneral/
drwxr-xr-x [up]
-rw-r--r-- 2006-12-05 13:56 +0100 1475 README
-rw-r--r-- 2006-12-05 13:56 +0100 347 ROOT.ML
-rw-r--r-- 2006-12-05 13:56 +0100 250 TODO
-rw-r--r-- 2006-12-05 13:56 +0100 15065 parsing.ML
-rw-r--r-- 2006-12-05 13:56 +0100 419 pgip.ML
-rw-r--r-- 2006-12-05 13:56 +0100 8222 pgip_input.ML
-rw-r--r-- 2006-12-05 13:56 +0100 1732 pgip_isabelle.ML
-rw-r--r-- 2006-12-05 13:56 +0100 589 pgip_markup.ML
-rw-r--r-- 2006-12-05 13:56 +0100 12333 pgip_output.ML
-rw-r--r-- 2006-12-05 13:56 +0100 3127 pgip_tests.ML
-rw-r--r-- 2006-12-05 13:56 +0100 12336 pgip_types.ML
-rw-r--r-- 2006-12-05 13:56 +0100 4603 preferences.ML
-rw-r--r-- 2006-12-05 13:56 +0100 11912 proof_general_emacs.ML
-rw-r--r-- 2006-12-05 13:56 +0100 31631 proof_general_pgip.ML