equal
deleted
inserted
replaced
1426 set initialized; ())); |
1426 set initialized; ())); |
1427 sync_thy_loader (); |
1427 sync_thy_loader (); |
1428 change print_mode (cons proof_generalN o remove (op =) proof_generalN); |
1428 change print_mode (cons proof_generalN o remove (op =) proof_generalN); |
1429 init_pgip_session_id (); |
1429 init_pgip_session_id (); |
1430 if pgip then |
1430 if pgip then |
1431 change print_mode (append [pgmlN, pgmlatomsN] o fold (remove (op =)) [pgmlN, pgmlatomsN]) |
1431 change print_mode (append [pgmlN, pgmlatomsN] o subtract (op =) [pgmlN, pgmlatomsN]) |
1432 else |
1432 else |
1433 pgip_emacs_compatibility_flag := true; (* assume this for PG <3.6 compatibility *) |
1433 pgip_emacs_compatibility_flag := true; (* assume this for PG <3.6 compatibility *) |
1434 set_prompts isar pgip; |
1434 set_prompts isar pgip; |
1435 pgip_active := pgip); |
1435 pgip_active := pgip); |
1436 |
1436 |