Index of /bits/LMI/jb_full/k

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]typical-k-maps.lisp.142017-04-21 02:59 162K 
[   ]typical-k-maps.lisp.132017-04-21 02:59 161K 
[   ]typical-k-maps.lisp.122017-04-21 02:59 161K 
[   ]ktypes.kfasl.172017-04-21 02:58 153K 
[   ]types.kfasl.1342017-04-21 02:59 116K 
[   ]new-pack.kfasl.32017-04-21 02:58 104K 
[   ]sequences.lisp.12017-04-21 02:59 77K 
[   ]bit-level-simulator.lisp.702017-04-21 02:58 75K 
[   ]clpack.lisp.702017-04-21 02:58 74K 
[   ]types.lisp.1362017-04-21 02:59 73K 
[   ]types.lisp.1352017-04-21 02:59 72K 
[   ]spy-diags-old.lisp.722017-04-21 02:59 72K 
[   ]imported-syms.lisp.92017-04-21 02:58 61K 
[   ]kold-loader.lisp.1482017-04-21 02:58 61K 
[   ]kold-loader.lisp.1472017-04-21 02:58 60K 
[   ]kold-loader.lisp.1462017-04-21 02:58 60K 
[   ]new-pack.lisp.32017-04-21 02:58 60K 
[   ]imported-syms.lisp.102017-04-21 02:58 59K 
[   ]sim-diags.lisp.112017-04-21 02:59 50K 
[   ]ktypes.lisp.172017-04-21 02:58 44K 
[   ]foo-trap-handlers.kfasl.402017-04-21 02:58 41K 
[   ]cold-loader.lisp.892017-04-21 02:58 38K 
[   ]paging-devices.kfasl.62017-04-21 02:59 35K 
[   ]k-debug.lisp.232017-04-21 02:58 33K 
[   ]foo-boot.lisp.4012017-04-21 02:58 33K 
[   ]foo-boot.lisp.4002017-04-21 02:58 33K 
[   ]warm-loader-foo.lisp.2172017-04-21 02:59 32K 
[   ]basic-streams.kfasl.32017-04-21 02:58 31K 
[   ]prom-maker.lisp.32017-04-21 02:59 30K 
[   ]xboot.lisp.22017-04-21 02:59 29K 
[   ]falcon-sysdef.lisp.502017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.492017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.512017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.522017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.482017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.472017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.462017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.292017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.432017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.452017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.442017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.422017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.412017-04-21 02:58 28K 
[   ]falcon-sysdef.lisp.402017-04-21 02:58 27K 
[   ]falcon-sysdef.lisp.332017-04-21 02:58 27K 
[   ]hardware-constants.lisp.732017-04-21 02:58 27K 
[   ]falcon-sysdef.lisp.322017-04-21 02:58 27K 
[   ]falcon-sysdef.lisp.312017-04-21 02:58 27K 
[   ]falcon-sysdef.lisp.302017-04-21 02:58 27K 
[   ]hardware-constants.lisp.722017-04-21 02:58 27K 
[   ]ktypes.kenv.172017-04-21 02:58 27K 
[   ]foo-warm-boot.lisp.32017-04-21 02:58 25K 
[   ]system.lisp.242017-04-21 02:59 24K 
[   ]types.kenv.1342017-04-21 02:59 24K 
[   ]system.lisp.232017-04-21 02:59 24K 
[   ]types.kenv.1332017-04-21 02:59 24K 
[   ]hardware-simulation.lisp.372017-04-21 02:58 23K 
[   ]simulation-sysdef-old.lisp.12017-04-21 02:59 23K 
[   ]package-definitions.lisp.832017-04-21 02:58 22K 
[TXT]k-lisp.text.22017-04-21 02:58 22K 
[   ]package-definitions.lisp.842017-04-21 02:58 22K 
[   ]package-definitions.lisp.852017-04-21 02:59 21K 
[   ]new-fasdump.lisp.662017-04-21 02:58 21K 
[   ]new-fasdump.lisp.672017-04-21 02:58 21K 
[   ]new-fasdump-for-k-debugger.lisp.672017-04-21 02:58 21K 
[   ]new-fasdump-for-k-debugger.lisp.662017-04-21 02:58 21K 
[   ]new-fasdump.lisp.652017-04-21 02:58 21K 
[   ]new-fasdump-for-k-debugger.lisp.652017-04-21 02:58 21K 
[   ]new-fasdump-for-k-debugger.lisp.642017-04-21 02:58 21K 
[   ]xstack-groups.kfasl.32017-04-21 02:59 21K 
[   ]defstruct.lisp.242017-04-21 02:58 21K 
[   ]sysdef.lisp.3882017-04-21 02:59 20K 
[   ]package-definitions.lisp.672017-04-21 02:58 19K 
[   ]package-definitions.lisp.652017-04-21 02:58 19K 
[   ]lambda-list.kfasl.142017-04-21 02:58 19K 
[   ]package-definitions.lisp.632017-04-21 02:58 19K 
[   ]foo-trap-handlers.lisp.412017-04-21 02:58 18K 
[   ]foo-trap-handlers.lisp.402017-04-21 02:58 18K 
[   ]foo-nuclear-control.kfasl.302017-04-21 02:58 17K 
[   ]foo-nuclear-control.kfasl.292017-04-21 02:58 17K 
[   ]falu-short-test.lisp.22017-04-21 02:58 17K 
[   ]simulation-microcode.lisp.372017-04-21 02:59 16K 
[   ]cons-foo.lisp.1142017-04-21 02:58 16K 
[   ]vinculum.lisp.22017-04-21 02:59 15K 
[   ]cons-foo.lisp.1132017-04-21 02:58 15K 
[   ]debug-board.lisp.52017-04-21 02:58 15K 
[   ]falu-short-test.lisp.12017-04-21 02:58 15K 
[   ]foo-simulation-sysdef.lisp.3202017-04-21 02:58 15K 
[   ]new-setf.lisp.402017-04-21 02:58 15K 
[   ]global-registers.lisp.1092017-04-21 02:58 14K 
[   ]global-registers-for-k-debugger.lisp.1092017-04-21 02:58 14K 
[   ]global-registers.lisp.1082017-04-21 02:58 14K 
[   ]global-registers-for-k-debugger.lisp.1082017-04-21 02:58 14K 
[   ]new-setf.lisp.432017-04-21 02:58 14K 
[   ]new-setf.lisp.422017-04-21 02:58 14K 
[   ]new-setf.lisp.412017-04-21 02:58 14K 
[   ]foo-boot.kfasl.4002017-04-21 02:58 14K 
[   ]simulation-constants.lisp.152017-04-21 02:59 14K 
[   ]foo-boot.kfasl.4012017-04-21 02:58 14K 
[   ]save.lisp.322017-04-21 02:59 13K 
[   ]new-pack.kenv.32017-04-21 02:58 13K 
[   ]unfasl.lisp.162017-04-21 02:59 13K 
[   ]lambda-list.lisp.242017-04-21 02:58 12K 
[   ]lambda-list.lisp.222017-04-21 02:58 11K 
[   ]lambda-list.lisp.212017-04-21 02:58 11K 
[   ]new-setf-macros.lisp.222017-04-21 02:58 11K 
[   ]lambda-list.lisp.192017-04-21 02:58 11K 
[   ]alu-opcodes.lisp.22017-04-21 02:58 11K 
[   ]boot-tests.lisp.12017-04-21 02:58 11K 
[   ]sequences-by-hair.lisp.22017-04-21 02:59 11K 
[   ]warm-files.lisp.1362017-04-21 02:59 11K 
[   ]warm-files.lisp.1352017-04-21 02:59 11K 
[   ]new-debug-board.lisp.32017-04-21 02:58 11K 
[   ]lambda-list.lisp.142017-04-21 02:58 11K 
[   ]warm-files.lisp.1342017-04-21 02:59 11K 
[   ]alu-opcodes.lisp.12017-04-21 02:58 11K 
[   ]zl-types.kfasl.32017-04-21 02:59 11K 
[   ]warm-files.lisp.1332017-04-21 02:59 11K 
[   ]warm-files.lisp.1322017-04-21 02:59 11K 
[   ]warm-files.lisp.1312017-04-21 02:59 11K 
[   ]new-setf-macros.lisp.212017-04-21 02:58 10K 
[   ]new-setf-macros.lisp.202017-04-21 02:58 10K 
[   ]warm-files.lisp.1302017-04-21 02:59 10K 
[   ]new-setf-macros.lisp.192017-04-21 02:58 10K 
[   ]warm-files.lisp.1292017-04-21 02:59 10K 
[   ]warm-files.lisp.1282017-04-21 02:59 9.8K 
[   ]warm-files.lisp.1272017-04-21 02:59 9.5K 
[   ]xboot.kfasl.22017-04-21 02:59 9.5K 
[   ]warm-files.lisp.1252017-04-21 02:59 9.3K 
[   ]warm-files.lisp.1262017-04-21 02:59 9.3K 
[   ]warm-files.lisp.1242017-04-21 02:59 9.0K 
[   ]foo-nuclear-control.lisp.292017-04-21 02:58 8.7K 
[   ]instructions.lisp.322017-04-21 02:58 8.6K 
[   ]instructions.lisp.312017-04-21 02:58 8.5K 
[   ]k-sysdef.lisp.62017-04-21 02:58 8.4K 
[   ]warm-files.lisp.1232017-04-21 02:59 8.3K 
[   ]k-macros.lisp.382017-04-21 02:58 8.0K 
[   ]k-macros-for-k-debugger.lisp.382017-04-21 02:58 8.0K 
[   ]tdefs.kfasl.12017-04-21 02:59 7.8K 
[   ]warm-files.lisp.1022017-04-21 02:59 7.8K 
[   ]k-macros.lisp.372017-04-21 02:58 7.5K 
[   ]k-macros-for-k-debugger.lisp.372017-04-21 02:58 7.5K 
[   ]test-defstruct.kfasl.32017-04-21 02:59 7.5K 
[   ]sysdef-fleabit.lisp.1582017-04-21 02:59 7.4K 
[   ]sysdef-fleabit.lisp.1572017-04-21 02:59 7.4K 
[TXT]documentation.text.302017-04-21 02:58 7.0K 
[   ]k-macros.lisp.352017-04-21 02:58 7.0K 
[   ]warm-files.lisp.702017-04-21 02:59 6.9K 
[   ]primitives.lisp.62017-04-21 02:59 6.7K 
[   ]illop-codes.lisp.5312017-04-21 02:58 6.6K 
[   ]illop-codes.lisp.5302017-04-21 02:58 6.6K 
[   ]test-make-region.lisp.12017-04-21 02:59 6.6K 
[   ]illop-codes.lisp.5292017-04-21 02:58 6.6K 
[   ]save.kfasl.302017-04-21 02:59 6.5K 
[   ]foo-trap-handlers.kenv.402017-04-21 02:58 6.5K 
[   ]paging-devices.kenv.62017-04-21 02:59 6.3K 
[   ]gc.lisp.82017-04-21 02:58 6.3K 
[   ]firm-definitions.lisp.442017-04-21 02:58 6.3K 
[   ]floating-point-opcodes.lisp.132017-04-21 02:58 6.1K 
[   ]firm-definitions.lisp.432017-04-21 02:58 6.1K 
[   ]firm-definitions.lisp.422017-04-21 02:58 6.1K 
[   ]call-hardware-magic.lisp.362017-04-21 02:58 6.0K 
[TXT]static-doc.text.62017-04-21 02:59 6.0K 
[   ]call-hardware-magic.lisp.342017-04-21 02:58 5.9K 
[   ]k-system-packages.lisp.102017-04-21 02:58 5.9K 
[   ]floating-point-opcodes.lisp.122017-04-21 02:58 5.8K 
[TXT]documentation.text.202017-04-21 02:58 5.8K 
[   ]wimp-apply.lisp.102017-04-21 02:59 5.8K 
[   ]basic-streams.kenv.32017-04-21 02:58 5.8K 
[   ]k-system-packages.lisp.92017-04-21 02:58 5.6K 
[   ]lowcore.lisp.52017-04-21 02:58 5.4K 
[   ]firm-definitions.lisp.322017-04-21 02:58 5.1K 
[   ]loader.lisp.242017-04-21 02:58 5.0K 
[   ]loader.lisp.232017-04-21 02:58 5.0K 
[   ]loader.lisp.222017-04-21 02:58 4.8K 
[   ]loader.lisp.212017-04-21 02:58 4.7K 
[   ]loader.lisp.202017-04-21 02:58 4.7K 
[   ]loader.lisp.192017-04-21 02:58 4.6K 
[   ]simulation-packages.lisp.1012017-04-21 02:59 4.3K 
[   ]regions.lisp.12017-04-21 02:59 4.3K 
[   ]zl-types.kenv.32017-04-21 02:59 4.3K 
[   ]loader.lisp.182017-04-21 02:58 4.3K 
[   ]k-orphans.lisp.72017-04-21 02:58 4.2K 
[   ]zl-types.lisp.32017-04-21 02:59 4.2K 
[   ]loader.lisp.172017-04-21 02:58 4.2K 
[   ]xstack-groups.kenv.32017-04-21 02:59 4.0K 
[   ]examine-call-hardware.lisp.12017-04-21 02:58 3.9K 
[   ]li-imports.lisp.272017-04-21 02:58 3.9K 
[   ]loader.lisp.162017-04-21 02:58 3.8K 
[   ]call-hardware-magic.lisp.232017-04-21 02:58 3.8K 
[   ]zwei-coms.lisp.72017-04-21 02:59 3.8K 
[   ]li-imports.lisp.262017-04-21 02:58 3.7K 
[   ]zwei-coms.lisp.62017-04-21 02:59 3.7K 
[   ]foo-nuclear-control.kenv.302017-04-21 02:58 3.7K 
[   ]foo-nuclear-control.kenv.292017-04-21 02:58 3.7K 
[   ]memory-control.lisp.22017-04-21 02:58 3.6K 
[   ]zwei-coms.lisp.52017-04-21 02:59 3.5K 
[   ]common-lisp-macros.kfasl.172017-04-21 02:58 3.5K 
[   ]zwei-coms.lisp.42017-04-21 02:59 3.5K 
[   ]mini-fasload-opcodes.lisp.222017-04-21 02:58 3.4K 
[   ]mini-fasload-opcodes-for-k-debugger.lisp.222017-04-21 02:58 3.4K 
[   ]cs-primitives.lisp.1172017-04-21 02:58 3.3K 
[   ]cs-primitives.lisp.1182017-04-21 02:58 3.3K 
[   ]xstack-groups.lisp.32017-04-21 02:59 3.3K 
[   ]primitive-arithmetic.lisp.22017-04-21 02:59 3.1K 
[   ]k-lisp.lisp.112017-04-21 02:58 3.1K 
[   ]ktv.lisp.62017-04-21 02:58 3.0K 
[   ]foo-warm-files.lisp.22017-04-21 02:58 2.9K 
[   ]li-fakes.lisp.402017-04-21 02:58 2.9K 
[   ]li-fakes.lisp.382017-04-21 02:58 2.9K 
[   ]li-fakes.lisp.412017-04-21 02:58 2.8K 
[   ]make-data-types.lisp.92017-04-21 02:58 2.8K 
[   ]ocons.lisp.12017-04-21 02:58 2.7K 
[   ]foo-dt-ovf-trap.lisp.542017-04-21 02:58 2.7K 
[   ]stack-group-toggle.kfasl.162017-04-21 02:59 2.7K 
[   ]daisy-prom.lisp.92017-04-21 02:58 2.7K 
[   ]daisy-prom.lisp.82017-04-21 02:58 2.7K 
[   ]mini-fasload-opcodes.lisp.212017-04-21 02:58 2.7K 
[   ]mini-fasload-opcodes-for-k-debugger.lisp.212017-04-21 02:58 2.7K 
[   ]data-types.lisp.462017-04-21 02:58 2.7K 
[   ]data-types.lisp.452017-04-21 02:58 2.7K 
[   ]global-frames.lisp.52017-04-21 02:58 2.6K 
[   ]ch-init.lisp.162017-04-21 02:58 2.5K 
[   ]data-types.lisp.412017-04-21 02:58 2.5K 
[   ]illop.lisp.112017-04-21 02:58 2.3K 
[   ]illop.lisp.122017-04-21 02:58 2.3K 
[   ]paging-devices.lisp.72017-04-21 02:59 2.2K 
[   ]basic-streams.lisp.32017-04-21 02:58 2.2K 
[   ]lambda-to-k-streams.lisp.42017-04-21 02:58 2.2K 
[   ]test-defstruct.kenv.32017-04-21 02:59 2.1K 
[   ]tdefs.kenv.12017-04-21 02:59 2.0K 
[   ]foo-boot.kenv.4002017-04-21 02:58 2.0K 
[   ]foo-boot.kenv.4012017-04-21 02:58 2.0K 
[   ]lambda-to-k-streams.lisp.32017-04-21 02:58 1.9K 
[   ]stack-group-toggle.lisp.162017-04-21 02:59 1.8K 
[   ]xboot.kenv.22017-04-21 02:59 1.7K 
[   ]daisy-prom.lisp.52017-04-21 02:58 1.7K 
[TXT]documentation.text.32017-04-21 02:58 1.6K 
[   ]simulation-areas.lisp.72017-04-21 02:59 1.6K 
[   ]test-strategy.lisp.32017-04-21 02:59 1.6K 
[   ]test-strategy.lisp.42017-04-21 02:59 1.6K 
[   ]test-package.lisp.92017-04-21 02:59 1.5K 
[   ]compiler-support.lisp.252017-04-21 02:58 1.5K 
[   ]compiler-support.lisp.242017-04-21 02:58 1.5K 
[   ]foo-dt-ovf-trap.kfasl.542017-04-21 02:58 1.4K 
[   ]compiler-support.lisp.262017-04-21 02:58 1.4K 
[   ]conversions.lisp.162017-04-21 02:58 1.3K 
[   ]conversions-for-k-debugger.lisp.162017-04-21 02:58 1.3K 
[   ]converions-for-k-debugger.lisp.162017-04-21 02:58 1.3K 
[   ]lights.lisp.82017-04-21 02:58 1.3K 
[   ]common-lisp-macros.kenv.172017-04-21 02:58 1.2K 
[TXT]boot-sequence.text.32017-04-21 02:58 1.1K 
[   ]primitive-setf.lisp.82017-04-21 02:59 1.1K 
[   ]def-cor-pkg.lisp.22017-04-21 02:58 1.0K 
[   ]test-apply.kfasl.12017-04-21 02:59 1.0K 
[   ]munch.lisp.42017-04-21 02:58 1.0K 
[TXT]fasload-protocol.text.32017-04-21 02:58 957  
[   ]primitive-setf.lisp.72017-04-21 02:59 921  
[   ]sim-read-hack.lisp.32017-04-21 02:59 895  
[   ]conversions.lisp.152017-04-21 02:58 856  
[   ]conversions.lisp.142017-04-21 02:58 855  
[   ]foo.lisp.72017-04-21 02:58 852  
[   ]foo.kenv.72017-04-21 02:58 812  
[   ]test-format.lisp.12017-04-21 02:59 807  
[   ]stack-group-preset.lisp.12017-04-21 02:59 786  
[   ]daisy-sim.lisp.42017-04-21 02:58 786  
[   ]daisy-sim.lisp.52017-04-21 02:58 785  
[   ]run-tak-demo.lisp.42017-04-21 02:59 734  
[   ]test-package.kfasl.62017-04-21 02:59 686  
[   ]vmem-frames.lisp.12017-04-21 02:59 684  
[   ]mini-eval.lisp.22017-04-21 02:58 577  
[   ]describe.kfasl.22017-04-21 02:58 572  
[   ]foo.kfasl.72017-04-21 02:58 571  
[   ]test-apply.lisp.22017-04-21 02:59 553  
[   ]heap-test.lisp.12017-04-21 02:58 551  
[   ]common-lisp-macros.lisp.182017-04-21 02:58 531  
[   ]test.lisp.42017-04-21 02:59 504  
[   ]load-problems.lisp.22017-04-21 02:58 460  
[   ]describe.lisp.22017-04-21 02:58 444  
[   ]mini-debugger.lisp.12017-04-21 02:58 420  
[   ]draw-line.lisp.12017-04-21 02:58 414  
[   ]stack-group-toggle.kenv.162017-04-21 02:59 380  
[   ]save.kenv.302017-04-21 02:59 376  
[   ]sim.lisp.12017-04-21 02:59 355  
[   ]k-packages.lisp.32017-04-21 02:58 344  
[   ]debugger-packages.lisp.72017-04-21 02:58 341  
[   ]test-defstruct.lisp.42017-04-21 02:59 332  
[   ]primitive-types.lisp.12017-04-21 02:59 314  
[   ]lambda-macros.lisp.12017-04-21 02:58 313  
[   ]compiler-hardware-support.lisp.22017-04-21 02:58 300  
[   ]call-hardware-magic.kenv.362017-04-21 02:58 270  
[   ]ts.lisp.52017-04-21 02:59 269  
[   ]describe.kenv.22017-04-21 02:58 268  
[   ]si-imports.kenv.72017-04-21 02:59 262  
[   ]lambda-list.kenv.142017-04-21 02:58 260  
[   ]test-package.kenv.62017-04-21 02:59 258  
[   ]foo-dt-ovf-trap.kenv.542017-04-21 02:58 252  
[   ]nmacros.lisp.42017-04-21 02:58 236  
[   ]si-imports.kfasl.72017-04-21 02:59 227  
[   ]exporter.lisp.132017-04-21 02:58 226  
[   ]compiler-crock0.lisp.102017-04-21 02:58 226  
[   ]differentiate.lisp.32017-04-21 02:58 225  
[   ]simulation-sysdef.lisp.3392017-04-21 02:59 171  
[   ]si-imports.lisp.72017-04-21 02:59 167  
[   ]simulation-sysdef.lisp.3382017-04-21 02:59 166  
[   ]tdefs.lisp.12017-04-21 02:59 158  
[   ]vinc-exporter.lisp.22017-04-21 02:59 151  
[   ]hw-exporter.lisp.22017-04-21 02:58 151  
[   ]sysdef.lisp.3892017-04-21 02:59 142  
[   ]exporter-1.lisp.22017-04-21 02:58 138  
[   ]symbol-properties.lisp.12017-04-21 02:59 102  
[   ]imicro-crock.lisp.12017-04-21 02:58 102  
[   ]test-pack.lisp.12017-04-21 02:59 101  
[   ]nils-pname.kfasl.12017-04-21 02:58 99  
[   ]nils-pname.lisp.12017-04-21 02:58 95  
[   ]test-apply.kenv.12017-04-21 02:59 37  
[   ]tst.lisp.22017-04-21 02:59 23  
[   ]8b-test.test.32017-04-21 02:58 10  
[   ]8b-test.test.22017-04-21 02:58 10  
[   ]8b-test.test.12017-04-21 02:58 10  
[DIR]warm/2017-04-21 03:15 -  
[DIR]tv/2017-04-21 03:13 -  
[DIR]test/2017-04-21 03:13 -  
[DIR]screen/2017-04-21 03:13 -  
[DIR]opcodes/2017-04-21 03:13 -  
[DIR]ncold/2017-04-21 03:13 -  
[DIR]multiprocess/2017-04-21 03:13 -  
[DIR]kdoc/2017-04-21 03:40 -  
[DIR]kbug2/2017-04-21 03:13 -  
[DIR]kbug/2017-04-21 03:13 -  
[DIR]isim/2017-04-21 03:13 -  
[DIR]hot/2017-04-21 03:12 -  
[DIR]fleabit/2017-04-21 03:40 -  
[DIR]doc/2017-04-21 03:12 -  
[DIR]compiler/2017-04-21 03:12 -  
[DIR]cold/2017-04-21 03:11 -  
[DIR]bus-coupler/2017-04-21 03:10 -  
[DIR]benchmarks/2017-04-21 03:10 -  
[DIR]asm/2017-04-21 03:10 -  

Apache/2.4.62 (Debian) Server at bitsavers.informatik.uni-stuttgart.de Port 80