|
a/AsciiTime.def |
|
b/AsciiTime.def |
1 |
DEFINITION MODULE AsciiTime;
|
1 |
DEFINITION MODULE AsciiTime;
|
2 |
|
2 |
|
3 |
(*------------------------------------------------------------------------*)
|
3 |
(*------------------------------------------------------------------------*)
|
|
|
4 |
(* Augabe von Datum und Zeit in formatierter Art und Weise *)
|
4 |
(* Prepare string for printout of date and time *)
|
5 |
(* Prepare string for printout of date and time *)
|
5 |
(*------------------------------------------------------------------------*)
|
6 |
(*------------------------------------------------------------------------*)
|
6 |
(* Implementation : Michael Riedl *)
|
7 |
(* Implementation : Michael Riedl *)
|
7 |
(* Licence : GNU Lesser General Public License (LGPL) *)
|
8 |
(* Licence : GNU Lesser General Public License (LGPL) *)
|
8 |
(*------------------------------------------------------------------------*)
|
9 |
(*------------------------------------------------------------------------*)
|