FriCAS Code

Brought to you by: whebisch

Commit [r239] Maximize Restore History

Disable graphics when viewman is missing.

Authored by: whebisch 2008-02-21

Browse code at this revision

Parent: [r238]

Child: [r240]

changed	/trunk/ChangeLog.wh
changed	/trunk/src/etc/axiom

/trunk/ChangeLog.wh Diff Switch to side-by-side view

/trunk/src/etc/axiom Diff Switch to side-by-side view