| Wed, 22 Apr 2015 23:26:14 +0200 |
blanchet |
avoid binding warning in Nitpick
|
changeset |
files
|
| Wed, 22 Apr 2015 19:52:29 +0200 |
blanchet |
doc
|
changeset |
files
|
| Wed, 22 Apr 2015 20:16:28 +0200 |
wenzelm |
clarified permissions;
|
changeset |
files
|
| Wed, 22 Apr 2015 20:14:43 +0200 |
wenzelm |
allow diagnostic proof commands with skip_proofs;
|
changeset |
files
|
| Wed, 22 Apr 2015 19:48:32 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 22 Apr 2015 18:43:33 +0200 |
wenzelm |
updated polyml according to fixes-5.5.2 SVN version 2009;
|
changeset |
files
|
| Mon, 20 Apr 2015 18:30:05 +0200 |
blanchet |
declare Nitpick atoms to avoid '??.' prefixes in output
|
changeset |
files
|
| Sun, 19 Apr 2015 21:49:24 +0200 |
wenzelm |
proper isatest machine;
|
changeset |
files
|
| Sat, 23 May 2015 22:13:24 +0200 |
wenzelm |
prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
|
changeset |
files
|
| Tue, 12 May 2015 08:48:11 +0200 |
nipkow |
this warning is hardly useful but produces noisy markers in the jedit interface
|
changeset |
files
|
| Sat, 09 May 2015 12:19:24 +0200 |
nipkow |
undid 6d7b7a037e8d because it does not help but slows simplification down by up to 5% (AODV)
|
changeset |
files
|
| Thu, 07 May 2015 15:34:28 +0200 |
hoelzl |
generalized tends over powr; added DERIV rule for powr
|
changeset |
files
|
| Wed, 06 May 2015 15:04:38 +0200 |
blanchet |
added acknowledgment
|
changeset |
files
|
| Tue, 05 May 2015 18:45:10 +0200 |
immler |
general Taylor series expansion with integral remainder
|
changeset |
files
|
| Tue, 05 May 2015 18:45:10 +0200 |
immler |
generalized class constraints
|
changeset |
files
|