- Feb 29, 2016
-
-
Jan Trávníček authored
-
- Dec 19, 2015
-
-
Jan Trávníček authored
-
- Jun 17, 2015
-
-
Jan Trávníček authored
-
- Jun 16, 2015
-
-
Jan Trávníček authored
-
- Jun 09, 2015
-
-
Jan Trávníček authored
-
- Jun 07, 2015
-
-
Jan Trávníček authored
-
- Jun 03, 2015
-
-
Štěpán Plachý authored
-
- May 21, 2015
-
-
Jan Trávníček authored
This reverts commit 4453a5cd. Conflicts: acompaction2/makefile acompare2/makefile aconversions2/makefile aconvert2/makefile aderivation2/makefile adeterminize2/makefile aecho2/makefile aepsilon2/makefile agenerate2/makefile aintegral2/makefile alangop2/makefile aminimize2/makefile anormalize2/makefile arand2/makefile arename2/makefile areverse2/makefile arun2/makefile astat2/makefile astringology2/makefile atrim2/makefile tniceprint/makefile
-
- May 11, 2015
-
-
Jan Trávníček authored
-
- May 02, 2015
-
-
Jan Trávníček authored
-
- Apr 27, 2015
-
-
Jan Trávníček authored
-
- Apr 15, 2015
-
-
Jan Trávníček authored
-
- Apr 12, 2015
-
-
Jan Trávníček authored
-
- Oct 11, 2014
-
-
Tomáš Pecka authored
For better Jenkins CI integration.
-
- Oct 10, 2014
-
-
Jan Trávníček authored
-
- Oct 09, 2014
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Oct 07, 2014
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Oct 06, 2014
-
-
Jan Trávníček authored
-
- Sep 05, 2014
-
-
Tomáš Pecka authored
-
- Jul 15, 2014
-
-
Jan Trávníček authored
-
- Jul 14, 2014
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Jul 10, 2014
-
-
Jan Trávníček authored
-
- Jul 06, 2014
-
-
Jan Trávníček authored
-
- Jun 29, 2014
-
-
Jan Trávníček authored
-
- Jun 28, 2014
-
-
Jan Trávníček authored
-
- Jun 22, 2014
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Jun 21, 2014
-
-
Jan Trávníček authored
-
- Jun 14, 2014
-
-
Jan Trávníček authored
-
- Jun 13, 2014
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Jun 02, 2014
-
-
Jan Trávníček authored
-
- Jun 01, 2014
-
-
Jan Trávníček authored
-
- May 20, 2014
-
-
Jan Trávníček authored
-
- Apr 28, 2014
-
-
Jan Trávníček authored
-
- Apr 25, 2014
-
-
Jan Trávníček authored
-