* renamed to .pp

This commit is contained in:
peter 2001-05-19 11:51:50 +00:00
parent 6013a000c1
commit 550160c2f0
5 changed files with 12 additions and 3 deletions

View File

@ -543,7 +543,10 @@ end.
{
$Log$
Revision 1.1 2001-05-09 18:11:21 carl
Revision 1.1 2001-05-19 11:51:50 peter
* renamed to .pp
Revision 1.1 2001/05/09 18:11:21 carl
+ boolean secondadd()
}

View File

@ -241,7 +241,10 @@ end.
{
$Log$
Revision 1.2 2001-05-16 15:28:40 carl
Revision 1.1 2001-05-19 11:51:50 peter
* renamed to .pp
Revision 1.2 2001/05/16 15:28:40 carl
* corrected problem with log

View File

@ -395,7 +395,10 @@ end.
{
$Log$
Revision 1.2 2001-05-18 18:20:07 carl
Revision 1.1 2001-05-19 11:51:50 peter
* renamed to .pp
Revision 1.2 2001/05/18 18:20:07 carl
+ add more tests
Revision 1.1 2001/05/16 15:29:00 carl