Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [ec475a] Maximize Restore History

Commit logic package by Alexey Beshenov, version 2.11 dated 2009-01-07,

as retrieved from: http://cs.swan.ac.uk/~csoliver/ok-sat-library/OKplatform/ExternalSources/sources/Maxima/logic-mac-2.11.tar.bz2
and committed in extenso and verbatim.

robert_dodier robert_dodier 2013-12-13

added share/logic
added share/logic/COPYING
added share/logic/TODO
added share/logic/logic.dem
added share/logic/logic.html
added share/logic/logic.info
added share/logic/logic.lisp
added share/logic/logic.mac
added share/logic/logic.pdf
added share/logic/logic.texi
changed share
share/logic
Directory.
share/logic/COPYING Diff Switch to side-by-side view
Loading...
share/logic/TODO Diff Switch to side-by-side view
Loading...
share/logic/logic.dem Diff Switch to side-by-side view
Loading...
share/logic/logic.html Diff Switch to side-by-side view
Loading...
share/logic/logic.info Diff Switch to side-by-side view
Loading...
share/logic/logic.lisp Diff Switch to side-by-side view
Loading...
share/logic/logic.mac Diff Switch to side-by-side view
Loading...
share/logic/logic.pdf Diff Switch to side-by-side view
Loading...
share/logic/logic.texi Diff Switch to side-by-side view
Loading...
share
Directory.