| #
33e6400f |
|
26-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
aspec: include doc build in ASpec again
Isabelle2020 doesn't allow sharing session directories between the document
session and non-document session. Instead of duplicating things, this commit
pulls the document build back into the ASpec session, but changes the build
such that the git revision is read directly from LaTeX, removing the
superfluous re-build for every git revision change (even when no relevant spec
file changed).
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
| #
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
| #
c34840d0 |
|
05-Jun-2019 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
global: isabelle update_cartouches
|
| #
6b9912c4 |
|
16-Oct-2017 |
Pang Luo <Pang.Luo@data61.csiro.au> |
manually adjust non-obvious cases of tab to space replacement
|
| #
184d6b70 |
|
09-Oct-2017 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
remove most tab characters
|
| #
796887d9 |
|
11-Jul-2017 |
Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au> |
Removes all trailing whitespaces
|
| #
0f2d5576 |
|
23-Nov-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
terminology in comments: async ep -> notifications
|
| #
457a55a8 |
|
01-Nov-2015 |
Joel Beeren <joel.beeren@nicta.com.au> |
add arch_tcb object to C, rename aep -> ntfn
|
| #
12fa8686 |
|
16-May-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
fewer warnings
|
| #
2a03e81d |
|
14-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Import release snapshot.
|