aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile.in (follow)
Commit message (Expand)AuthorAgeFilesLines
* massive simpliciation and small bug fixes (not tested yet)Mattias Andrée2016-01-011-9/+8
* remove satd-rm and satd-r and let satrm and satr do everything (not done yet)Mattias Andrée2016-01-011-5/+3
* satq does not interface with satd + fix regression bugsMattias Andrée2016-01-011-4/+3
* fix some errorsMattias Andrée2015-12-311-1/+11
* fix bugs and improve debuggingMattias Andrée2015-12-311-0/+4
* add missing file to makefileMattias Andrée2015-12-301-1/+1
* whitespace + new chapters to writeMattias Andrée2015-12-301-2/+2
* beginning of texinfo manualMattias Andrée2015-12-301-9/+9
* man pagesMattias Andrée2015-12-301-1/+1
* update makefileMattias Andrée2015-12-301-2/+2
* implement satd-timerMattias Andrée2015-12-291-1/+2
* add build system + add news file + update depsMattias Andrée2015-12-291-0/+103