| Mon, 01 Dec 2008 14:41:13 +0100 |
wenzelm |
adapted description: old CVS;
|
file |
diff |
annotate
|
| Tue, 26 Aug 2008 11:42:46 +0200 |
wenzelm |
replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;
|
file |
diff |
annotate
|
| Mon, 04 Aug 2008 20:19:59 +0200 |
wenzelm |
tuned description;
|
file |
diff |
annotate
|
| Wed, 09 Jul 2008 22:25:24 +0200 |
wenzelm |
tuned description;
|
file |
diff |
annotate
|
| Wed, 09 Jul 2008 22:13:09 +0200 |
wenzelm |
style = isabelle (based on gitweb);
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 20:10:52 +0200 |
wenzelm |
cvsps: back to non-verbose mode;
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 19:47:05 +0200 |
wenzelm |
maxfiles = 50;
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 18:03:10 +0200 |
wenzelm |
cvsps -v (verbose);
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 17:51:53 +0200 |
wenzelm |
use patched cvsps to workaround loss of "foo: bar;" log entries;
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 15:37:10 +0200 |
wenzelm |
back to default style, which shows files in changelog view;
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 15:13:59 +0200 |
wenzelm |
added description;
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 12:54:12 +0200 |
wenzelm |
hgrc for conversion and web service;
|
file |
diff |
annotate
|