Activity for Torsten Schaub
-
Torsten Schaub committed [r10397]
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
1 >