Marcel Aldecoa
|
bea0f08031
|
Merged PR 155: feat: first version of the README.md file.
feat: first version of the README.md file.
Related work items: #281
|
2021-06-22 19:52:05 +00:00 |
Marcel Aldecoa
|
0225b94a94
|
feat: first version of the README.md file.
|
2021-06-22 16:51:26 -03:00 |
|
Marcel Aldecoa
|
fb700b119b
|
Merged PR 154: feat: First version of the HOL quickstart.
feat: First version of the HOL quickstart.
|
2021-06-22 18:15:19 +00:00 |
|
Marcel Aldecoa
|
9c83889e8b
|
feat: First version of the HOL quickstart.
|
2021-06-22 15:15:03 -03:00 |
|
Marcel Aldecoa
|
e8ee8d76f4
|
Merged PR 153: feat: First version of the HOL quickstart.
feat: First version of the HOL quickstart.
Related work items: #278, #279, #280
|
2021-06-22 18:14:21 +00:00 |
|
Marcel Aldecoa
|
f9d11ea07b
|
feat: First version of the HOL quickstart.
|
2021-06-22 15:12:02 -03:00 |
Renan Vilas Novas
|
5d0004fc69
|
Added solution architecture
|
2021-06-07 17:36:21 -03:00 |
|
Renan Vilas Novas
|
f5378ce76e
|
Updated HOL Index
|
2021-06-07 17:15:31 -03:00 |
|
Renan Vilas Novas
|
931e2234cf
|
feat New guideline
|
2021-06-07 17:14:26 -03:00 |
|
Renan Vilas Novas
|
3840b6e78f
|
Fix HOL Guidelines
|
2021-06-07 16:53:57 -03:00 |
|
Renan Vilas Novas
|
0b331ee8a1
|
Fix HOL Guidelines
|
2021-06-07 16:53:01 -03:00 |
|
Renan Vilas Novas
|
0540bc1c99
|
HOL Guidelines
|
2021-06-07 16:51:09 -03:00 |
|
Renan Vilas Novas
|
fae9c6538f
|
Deleted old exercises description
|
2021-06-07 16:12:49 -03:00 |
|
Renan Vilas Novas
|
47bbd4cd7b
|
Updated exercise owners
|
2021-06-07 15:42:52 -03:00 |
|
Renan Vilas Novas
|
00c60416ae
|
Initial HOL description
|
2021-05-17 15:26:27 -03:00 |
|
Renan Vilas Novas
|
7228a991ee
|
Initial HOL docs
|
2021-05-17 15:09:24 -03:00 |
|
Renan Vilas Novas
|
34d61e8b65
|
Initial HOL description
|
2021-05-17 14:28:49 -03:00 |
Renan Vilas Novas
|
f08e04e0de
|
Added README.md
|
2021-05-17 17:14:58 +00:00 |