- Committer: Tim Daly
- Date: 2022-07-27 04:43:38 UTC
- Revision ID: git-v1:351e6e2beb142071a2b01738f09e0fea7586d5e5
recover github access
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
book
|
2055 | 10 years ago | Tim Daly | 20140418 tpd src/axiom-website/patches.html 201404 |
|
||
|
books
|
254 | 15 years ago | Tim Daly | 20080530 tpd books/Makefile 20080530 tpd books/axi |
|
||
|
license
|
40 | 16 years ago | Tim Daly | add missing files from last commit |
|
||
|
lsp
|
2 | 16 years ago | daly | all files added |
|
||
|
src
|
2 | 16 years ago | daly | all files added |
|
||
|
zips
|
2 | 16 years ago | daly | all files added |
|
||
axiom30yr.jpg |
1 | 16 years ago | daly | initial silver | 86.1 KB |
|
|
axiomicon.png |
46 | 16 years ago | Tim Daly | 20070705 gdr remove execute bit from files | 8.7 KB |
|
|
axiomlogo.jpg |
46 | 16 years ago | Tim Daly | 20070705 gdr remove execute bit from files | 1 KB |
|
|
axiomsml.png |
46 | 16 years ago | Tim Daly | 20070705 gdr remove execute bit from files | 586 bytes |
|
|
changelog |
2922 | 1 year ago | Tim Daly | recover github access | 1.1 MB |
|
|
configure |
252 | 15 years ago | Tim Daly | 20080528 tpd configure rewrite 20080528 tpd readme | 1.4 KB |
|
|
|
Dockerfile |
2404 | 9 years ago | Tim Daly | Dockerfile fix bug 7299: update docker image to in | 414 bytes |
|
|
|
Dockerfile.howto |
2404 | 9 years ago | Tim Daly | Dockerfile fix bug 7299: update docker image to in | 5.9 KB |
|
|
|
faq |
2707 | 7 years ago | Tim Daly | faq, readme: minor cleanup edits Goal: Axiom Main | 65.8 KB |
|
|
|
goals |
2802 | 6 years ago | Tim Daly | goals -- a newly added file to explain current goa | 7.4 KB |
|
|
|
Makefile |
2792 | 6 years ago | Tim Daly | books/Makefile add and sort function signatures G | 10 KB |
|
|
|
Makefile.pamphlet |
2792 | 6 years ago | Tim Daly | books/Makefile add and sort function signatures G | 50.8 KB |
|
|
|
patch |
2921 | 3 years ago | Tim Daly | books/bookvolbib add references Goal: Proving Axi | 85.6 KB |
|
|
|
projects |
2378 | 9 years ago | Tim Daly | projects: January 7th 2015 update Interpreter Vol | 10.9 KB |
|
|
|
proposal |
2863 | 6 years ago | Tim Daly | proposal Goal: Proving Axiom Correct | 7.2 KB |
|
|
|
readme |
2921 | 3 years ago | Tim Daly | books/bookvolbib add references Goal: Proving Axi | 26.9 KB |
|
|
|
Xresource.txt |
2661 | 7 years ago | Tim Daly | books/bookvol7.1 add page images Goal: Axiom Lite | 820 bytes |
|
|