| changeset 64055 | acd3e25975a2 |
| parent 63894 | 7534eec7cfad |
| child 64079 | ff26032b7f2a |
| 64054:1fc9ab31720d | 64055:acd3e25975a2 |
|---|---|
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 import java.time._ |
10 import java.time.{Instant, ZoneId} |
11 import java.time.format.DateTimeFormatter |
11 import java.time.format.DateTimeFormatter |
12 import java.util.{Properties => JProperties} |
12 import java.util.{Properties => JProperties} |
13 |
13 |
14 |
14 |
15 abstract class CI_Profile extends Isabelle_Tool.Body |
15 abstract class CI_Profile extends Isabelle_Tool.Body |