Commit [5e2134] default  Maximize  Restore  History

new entry

nipkow nipkow 2012-03-02

changed metadata/metadata
added thys/Abortable_Linearizable_Modules/ALM.thy
added thys/Abortable_Linearizable_Modules/CompositionCorrectness.thy
added thys/Abortable_Linearizable_Modules/IsaMakefile
added thys/Abortable_Linearizable_Modules/LCP.thy
added thys/Abortable_Linearizable_Modules/ROOT.ML
added thys/Abortable_Linearizable_Modules/config
added thys/Abortable_Linearizable_Modules/document/abstract.tex
added thys/Abortable_Linearizable_Modules/document/introduction.tex
added thys/Abortable_Linearizable_Modules/document/root.bib
added thys/Abortable_Linearizable_Modules/document/root.tex
added web/entries/Abortable_Linearizable_Modules.shtml
changed web/index.shtml
changed web/topics.shtml
metadata/metadata Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/ALM.thy Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/CompositionCorrectness.thy Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/LCP.thy Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/config Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/document/abstract.tex Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/document/introduction.tex Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Abortable_Linearizable_Modules/document/root.tex Diff Switch to side-by-side view
Loading...
web/entries/Abortable_Linearizable_Modules.shtml Diff Switch to side-by-side view
Loading...
web/index.shtml Diff Switch to side-by-side view
Loading...
web/topics.shtml 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