Michael Herzberg
|
f955f2fa56
|
Fixed long lines and simp lemmas without names.
|
2020-07-22 22:11:21 +01:00 |
Michael Herzberg
|
99a6566ed0
|
Restrict all autos to one subgoal.
|
2020-07-16 09:04:34 +01:00 |
Michael Herzberg
|
0bbda09de8
|
Fixed bad merge.
|
2020-06-10 23:18:50 +01:00 |
Michael Herzberg
|
f102a4f006
|
Merge branch 'master' of git.logicalhacking.com:BrowserSecurity/Core_DOM-dev
|
2020-06-09 00:18:04 +01:00 |
Michael Herzberg
|
6008a6c2be
|
Renamed tag_type to tag_name and added some tag_name lemmas.
|
2020-06-08 23:46:58 +01:00 |
Michael Herzberg
|
9322d9753d
|
Fixed ROOT file after folder renaming.
|
2020-06-06 01:00:07 +01:00 |
Achim D. Brucker
|
64ac3d3786
|
Fixed ROOT file after renaming.
|
2020-05-25 10:55:23 +01:00 |
Michael Herzberg
|
3f02e81f83
|
Renamed folder.
|
2020-05-20 01:09:38 +01:00 |
Michael Herzberg
|
4ed7af1ec9
|
Renamed use _step suffix rather than _thesis.
|
2020-05-12 16:16:03 +01:00 |
Achim D. Brucker
|
c044d5fd86
|
Use symlinks for shared files.
|
2020-05-11 12:26:48 +01:00 |
Achim D. Brucker
|
86ea8d4817
|
Restrict auto.
|
2020-04-16 23:58:58 +01:00 |
Achim D. Brucker
|
080f4db810
|
Enabled document generation.
|
2020-04-16 23:31:15 +01:00 |
Achim D. Brucker
|
7563d9696e
|
Restrict auto.
|
2020-04-16 21:58:43 +01:00 |
Achim D. Brucker
|
0d7ed5df29
|
Updated title page.
|
2020-04-16 21:43:42 +01:00 |
Achim D. Brucker
|
c0b68703ef
|
Renaming.
|
2020-04-16 21:28:29 +01:00 |