clasp aspif version rectified
fixing headers with macro \ASPm{}
various modifications
file for theory solving
moving day inserted
on teh move
teaspoon
adding section for talks
cp15
no shaky G3 refs
added IJCAI15
including files
incmode
meta4
meta4
renaming
adding PENG+COL
adding TSP+HAM
where did the updates go..?
ooops
direct to Google+/posts
hooking things in
minor formatting
refining start
refining start
API
getting started
fixing versions
deled "prel draft"
un\commented - ZERO \comments
minor rephrasing in heuristics
=addressing
=
=
deleted lparse
heuristic structures
=peanuts
went along Javier's changes
=one comment on neg vs not
=another pass after discussing with Javier
=\uncommented
\decommenting
peanuts
polishing
spelling
completed pass through LIBRARY
completed pass thu "implementeding prefs"
going throuh prefopt
some cleaning
=last modifications to configuration
=first modifications to configuration
Holger's colors for authors
\uncommenting
we need some versioning
new edition of frontpage THX to HOLGER :)))))))...
forgot
added
make Martin happy :)
just because
example convention
going over Martin's changes
minor rephrasing
minor rephrasing
minor stuff
adding CC in a nicer way
adding CC
worked over preopt's first half
versioning
double neg
some more rephrasing around double negation
FIXED note/example \ref problem
deled \thesection form note/example since it le...
finished pass addressing Javier (and Roland)'s ...
finished pass addressing Javier (and Roland)'s ...
just a bckup
svn keywords
svn keywords
fixed:
fixed:
logo
pimped
pimped
adding more comments
adding some more stuff to CSP
first throw at syntax
now CINAMA :)
copy+paste SYNTAX
done with entire pass - now BEACH :)
almost done with entire pass - now beach :)
rewriting first part
just started
first pass through heuristic: COSMETICS
first pass through heuristic
fixing
fixing
slight pimping of