diff --git a/changelog b/changelog index 849e125..04a20e2 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,4 @@ +20070914 wxh src/hyper/hyper fix bad bracing of )hd change 20070914 tpd src/algebra/fraction.spad remove double )spool command 20070914 tpd src/algebra/kl.spad remove double )spool command 20070914 tpd src/algebra/lindep.spad remove double )spool command diff --git a/src/hyper/hyper.pamphlet b/src/hyper/hyper.pamphlet index 1e44d61..d9df6c2 100644 --- a/src/hyper/hyper.pamphlet +++ b/src/hyper/hyper.pamphlet @@ -948,12 +948,12 @@ make_server_connections(void) fprintf(stderr, "(HyperDoc) Warning: Not connected to AXIOM Server!\n"); MenuServerOpened = 0; } - else + else { /* In order to allow hyperdoc restarts from the console we clean up * the socket on exit */ atexit(&clean_socket); MenuServerOpened = 1; - + } /* * If I have opened the MenuServer socket, then I should also try to open