Commit [bfe8d4] default Isabelle2013  Maximize  Restore  History

Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows

Gerwin Klein Gerwin Klein 2013-01-28

removed thys/JinjaThreads/Basic/Aux.thy
added thys/JinjaThreads/Basic/Auxiliary.thy
changed thys/JinjaThreads/Basic/Basic_Main.thy
changed thys/JinjaThreads/Common/Common_Main.thy
changed thys/JinjaThreads/Common/Type.thy
changed thys/JinjaThreads/Compiler/Compiler1.thy
changed thys/JinjaThreads/DFA/Kildall.thy
changed thys/JinjaThreads/Execute/Java2Jinja.thy
changed thys/JinjaThreads/Execute/ToString.thy
changed thys/JinjaThreads/Framework/FWState.thy
changed thys/JinjaThreads/Framework/LTS.thy
thys/JinjaThreads/Basic/Auxiliary.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Basic/Basic_Main.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Common/Common_Main.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Common/Type.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Compiler/Compiler1.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/DFA/Kildall.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Execute/Java2Jinja.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Execute/ToString.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Framework/FWState.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Framework/LTS.thy Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks