| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/system/doc/top/src/ |
| H A D | erl_html_tools.erl | 441 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
452 subst_known_groups([], Info, Text) -> function
454 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
459 subst_known_groups(Groups, Info, Text0 ++ Text);
462 subst_known_groups(Groups, Info0, Text0)
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/system/doc/top/src/ |
| H A D | erl_html_tools.erl | 441 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
452 subst_known_groups([], Info, Text) -> function
454 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
459 subst_known_groups(Groups, Info, Text0 ++ Text);
462 subst_known_groups(Groups, Info0, Text0)
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/system/doc/top/src/ |
| H A D | erl_html_tools.erl | 441 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
452 subst_known_groups([], Info, Text) -> function
454 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
459 subst_known_groups(Groups, Info, Text0 ++ Text);
462 subst_known_groups(Groups, Info0, Text0)
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/system/doc/top/src/ |
| H A D | erl_html_tools.erl | 444 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
455 subst_known_groups([], Info, Text) -> function
457 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
462 subst_known_groups(Groups, Info, Text0 ++ Text);
465 subst_known_groups(Groups, Info0, Text0)
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/system/doc/top/src/ |
| H A D | erl_html_tools.erl | 444 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
455 subst_known_groups([], Info, Text) -> function
457 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
462 subst_known_groups(Groups, Info, Text0 ++ Text);
465 subst_known_groups(Groups, Info0, Text0)
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/system/doc/top/src/ |
| H A D | erl_html_tools.erl | 444 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
455 subst_known_groups([], Info, Text) -> function
457 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
462 subst_known_groups(Groups, Info, Text0 ++ Text);
465 subst_known_groups(Groups, Info0, Text0)
|
| /dports/lang/erlang-doc/otp_doc_html_24.1/doc/docbuild/ |
| H A D | erl_html_tools.erl | 444 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
455 subst_known_groups([], Info, Text) -> function
457 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
462 subst_known_groups(Groups, Info, Text0 ++ Text);
465 subst_known_groups(Groups, Info0, Text0)
|
| /dports/lang/erlang/otp-OTP-24.1.7/system/doc/top/src/ |
| H A D | erl_html_tools.erl | 444 {Html1,Info1} = subst_known_groups(group_order(), Info0, ""),
455 subst_known_groups([], Info, Text) -> function
457 subst_known_groups([{Group, Heading} | Groups], Info0, Text0) -> function
462 subst_known_groups(Groups, Info, Text0 ++ Text);
465 subst_known_groups(Groups, Info0, Text0)
|